$U\nsubseteq V$ ve $V\nsubseteq U$ olsun.
Tüm uzaya $W$ diyelim. $W=U\cup V$ olduğunu varsayıp bir çelişki bulacağız.
O zaman $u\in U\setminus V$ ve $v\in V\setminus U$ olacak şekilde $u,v\in W$ vektörleri vardır.
$u+v\in W=U\cup V$ olduğundan,
$u+v\in U$ veya $u+v\in V$ olmak zorundadır.
$u+v\in U$ durumunda $v=(u+v)-u\in U$ olup bir çelişki ortaya çıkar.
$u+v\in V$ durumunda $u=(u+v)-v\in V$ olup bir çelişki ortaya çıkar.
Bu da, ("ikisi de birbirinin alt uzayı olmayan" eklenerek düzeltilen) iddiayı kanıtlar.