Rationality of the zeta function for Ruelle-expanding maps

We will prove that the zeta function for Ruelle-expanding maps is rational.