theorem Th36: :: RLSUB_1:36

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