theorem Th62: :: RUSUB_1:62

for V being RealUnitarySpace
for W1, W2 being strict Subspace of V
for v being VECTOR of V holds
( v + W1 = v + W2 iff W1 = W2 )