Proposition 1.5.27.  Let X, Y, Z be sets, f : X → Y, g : Y → Z be functions such that g ∘ f is surjective. Then:
g is surjective
No proof.