Inverse of Algebraic Structure Isomorphism is Isomorphism

Theorem
If $$\phi: \left({S, \circ}\right) \to \left({T, *}\right)$$ is an isomorphism, then $$\phi^{-1}: \left({T, *}\right) \to \left({S, \circ}\right)$$ is also an isomorphism.

Proof
As $$\phi$$ is a bijection, then $$\exists \phi^{-1}$$ such that $$\phi^{-1}$$ is also a bijection from Bijection iff Inverse is Bijection. That is:

$$\exists \phi^{-1}: \left({T, *}\right) \to \left({S, \circ}\right)$$

It follows that:

$$ $$ $$

So $$\phi^{-1}: \left({T, *}\right) \to \left({S, \circ}\right)$$ is a homomorphism, and (from above) bijective, and thus an isomorphism.