Group Homomorphism of Product with Inverse

Theorem
Let $$\phi: \left({G, \circ}\right) \to \left({H, *}\right)$$ be a group homomorphism. Then:


 * 1) $$\forall x, y \in G: \phi \left({x \circ y^{-1}}\right) = \phi \left({x}\right) * \left({\phi \left({y}\right)}\right)^{-1}$$
 * 2) $$\forall x, y \in G: \phi \left({y^{-1} \circ x}\right) = \left({\phi \left({y}\right)}\right)^{-1} * \phi \left({x}\right)$$

Proof

 * First result:

$$ $$ $$


 * Second result:

$$ $$ $$