for f, g being one-to-one Function st f " = g " holds
f = g