Suppose that f : X −→ Y and g : Y −→ Z are bijections of sets.
Prove that the composite (g ◦ f ) : X −→ Z is also a bijection and that (g ◦ f )^−1 = f^−1 ◦ g^−1 : Z −→ X.