Let φ: G → G be an isomorphism from the group G to the group G. Since φ is bijective, its inverse ψ: G → G exists according to Theorem 1.9.1, which states that a function f: X → Y has an inverse if and only if it is bijective. To prove that ψ is an isomorphism, it suffices to show that ψ is bijective.