Zu V×W ⊆ (V×{0})⊕({0}×W). Sei m ∈ V×W.
Seien v∈V und w∈W mit m = (v,w).
Finde ein m' ∈ V×{0} und ein m'' ∈ {0}×W, so dass
m = m' + m''
ist.
Zu (V×{0})⊕({0}×W) ⊆ V×W. Sei m ∈ (V×{0})⊕({0}×W).
Sei v, w derart, dass m = (v,w) ist.
Zeige, dass v∈V und w∈W ist.