(v+U) ∩ (v'+U') ≠ ∅
==> Es gibt ein z ∈ V mit
z ∈ v+U und z ∈ v'+U'
==> Es gibt u1 ∈ U und u2 ∈ U ' mit
z= v + u1 und z = v ' + u2
==> Es gibt u1 ∈ U und u2 ∈ U' mit
v + u1 = v ' + u2
==> v - v ' = -u1 + u2
Mit u1 ist auch - u1 aus U, also ist v'-v ∈ U+U'
Umgekehrt einfach rückwärts argumentieren:
v'-v ∈ U+U'
==> Es gibt u1 ∈ U und u2 ∈ U ' mit
v - v ' = u1 + u2
==> v + (- u1 ) = v ' + u2
Mit u1 ist auch - u1 aus U, also ist
z = v + (- u1 ) = v ' + u2
sowohl in (v+U) als auch in (v'+U') .