theorem :: FUNCT_7:84

for X being set
for f being Function of X,X holds iter (f,0) = id X