for V being RealUnitarySpace holds V is Subspace of V