Bijective group homomorphism/Inverse mapping/Homomorphism/Fact/Proof

Proof

This follows from

${}{\begin{aligned}\varphi ^{-1}(h_{1}h_{2})&=\varphi ^{-1}{\left(\varphi (\varphi ^{-1}(h_{1}))\varphi (\varphi ^{-1}(h_{2}))\right)}\\&=\varphi ^{-1}{\left(\varphi {\left(\varphi ^{-1}(h_{1})\varphi ^{-1}(h_{2})\right)}\right)}\\&=\varphi ^{-1}(h_{1})\varphi ^{-1}(h_{2}).\end{aligned}}$

To fact