dim(U1)=2 ==> Es gibt eine Basis von U1 mit 2 Elementen
etwa U1 = <a,b>.
1. Fall : Keines dieser Basiselemente liegt in U2
==> U1∩U2 = {0}
==> dim( U1∩U2) = 0 ≤ 1 Passt !
2. Fall : a∈U2 ∧ b∉U2
==> U1∩U2 = <a>
==> dim( U1∩U2) = 1 ≤ 1 Passt !
3. Fall : b∈U2 ∧ a∉U2
==> U1∩U2 = <b>
==> dim( U1∩U2) = 1 ≤ 1 Passt !
4. Fall : a∈U2 ∧ b∈U2
==> U1∩U2 = <a,b> = U1
==> U1 ⊆ U2 Passt auch !
In jedem der 4 Fälle gilt also
U1 ⊆ U2 oder dim(U1 ∩ U2) ≤ 1.