Bowen-Ruelle Theorem