theorem Th19: :: RUSUB_1:19

for V being RealUnitarySpace holds V is Subspace of V