( W , + ) ⊂ ( V , + ) {\displaystyle (W,+)\subset (V,+)} azpitaldea bada, orduan horretan badago 0 ∈ W {\displaystyle 0\in W} dela. Beraz, 0 ∈ W {\displaystyle 0\in W} baldintza sobran dago.