theorem Th30: :: RUSUB_1:30

for V being RealUnitarySpace
for W being Subspace of V holds (0). W = (0). V