$y\in A$ olsun. Bu durumda $\forall n \geq 1$ için $f^{n}(y)\in A$. Böylece $\{y,f(y),f^{2}(y),...\}\subseteq A$ fakat $A$ sonlu olduğundan bu kümedeki bazı elemanlar eşit olmalı. Genelliği bozmadan $s>t$ için $f^{s}(y)=f^{t}(y)$ olur. Buradan $f^{t}(f^{s-t}(y))=f^{t}(y)$ ($f$ bire-bir ve $f^{t}$ de bire-bir) yani $f^{s-t}(y)=y$ ve $y=f(f^{s-t-1}(y))$ olur ki; aradığımız ön görüntü $f^{s-t-1}(y)\in A$ olacaktır. Yani $f$ örtendir.