theorem Th33: :: GRAPHSP:33

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