Giả sử rằng một dãy khớp 0→AuAvA′′ và hai đơn cấu A′a′C′,A′′a′′C′′ được cho, trong đó A,A′,A′′,C′,C′′ là các môđun trên cùng một vành. Chứng minh rằng, nếu C′ là một môđun đơn ánh (Đại số, Chương II, § 2, Bài tập 11), thì tồn tại một đơn cấu a:A→C′⊕C′′ sao cho biểu đồ