y∈A olsun. Bu durumda ∀n≥1 için fn(y)∈A. Böylece {y,f(y),f2(y),...}⊆A fakat A sonlu olduğundan bu kümedeki bazı elemanlar eşit olmalı. Genelliği bozmadan s>t için fs(y)=ft(y) olur. Buradan ft(fs−t(y))=ft(y) (f bire-bir ve ft de bire-bir) yani fs−t(y)=y ve y=f(fs−t−1(y)) olur ki; aradığımız ön görüntü fs−t−1(y)∈A olacaktır. Yani f örtendir.