theorem Th32: :: GRFUNC_1:34

for f, g being Function st g c= f holds
g = f | (dom g)