推广。
证明.首先证明 (3)蕴含 (1)与 (2)。我们假设 (3)成立，取"t" 为直和到"A" 的自然投影，取"u" 为"C" 到直和的自然内射。为了证明 (1)蕴含 (3)，首先注意到"B" 中任何元素属于集合 (ker"t" + im "q")。这是因为对"B" 中任意"b"，"b" = ("b" - "qt"（"b"）) + "qt"（"b"）；"qt"（"b"）显然属于im "q"，而 ("b" - "qt"（"b"）)属于ker "t"，因为然后，im "