theorem Th41: :: GRAPHSP:41

for i, n being Nat
for f being Element of REAL * holds dom f = dom (((repeat ((Relax n) * (findmin n))) . i) . f)