for f being Function
for g, h being one-to-one Function st h = f +* g holds
(h ") | (rng g) = g "