wegen U1 ⊄ U2 und U2 ⊄ U1 existiert
v∈U1 und v∉U2 # und
w∈U2 und w∉U1. ##
sowohl v als auch w sind U1∪ U2.
Wäre das ein Unterraum müsste auch v+w in U1∪ U2
sein, also müsste gelten
v+w ∈ U1 oder v+w ∈ U2.
Das ist aber beides nicht möglich; denn
v+w ∈ U1 und wegen v∈U1 auch - v∈U1
also (v+w) + (-v) ∈U1 also w∈U1. Widerspruch zu ##.
Entsprechend folgt aus v+w ∈ U2 ein
Widerspruch zu #. q.e.d.