theorem Th49: :: RUSUB_1:49

for V being RealUnitarySpace
for W being Subspace of V
for v being VECTOR of V holds
( v + W = (- v) + W iff v in W )