Так как f ◦ g ◦ f = $ id_A $, то f(g(f(x))) = g(f(x)).
g всюду определена, тогда f(x) = x, то есть f – биекция


Заявка на расчет