section_heading: Primjeri
paragraph_text: Da krenemo od te implikacije na činjenicu da je q monomorfizam, pretpostavimo da je q ∘ f = q ∘ g za neke morfizme f, g : G → Q, gdje je G neka djeljiva skupina. Tada je q ∘ (f − g) = 0, gdje je (f − g) : x ↦ f(x) − g(x). (Budući da je (f − g)(0) = 0, i (f − g)(x + y) = (f − g)(x) + (f − g)(y), slijedi da je (f − g) ∈ Hom(G, Q) ). Iz tek dokazane implikacije, q ∘ (f − g) = 0 ⇒ f − g = 0 ⇔ ∀ x ∈ G, f(x) = g(x) ⇔ f = g. Stoga je q monomorfizam, kao što je tvrđeno.