theorem Th32: :: FUNCT_1:33

for f being Function st f is one-to-one holds
( rng f = dom (f ") & dom f = rng (f ") )