for f, g being Function st rng (g * f) = rng g & g is one-to-one holds
dom g c= rng f