theorem Th69: :: FUNCT_7:70

for R being Relation holds iter (R,1) = R