U⊈ 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.