theorem Th50: :: RUSUB_1:50

for V being RealUnitarySpace
for W being Subspace of V
for u, v1, v2 being VECTOR of V st u in v1 + W & u in v2 + W holds
v1 + W = v2 + W