theorem Th21: :: RUSUB_1:21

for V, X, Y being RealUnitarySpace st V is Subspace of X & X is Subspace of Y holds
V is Subspace of Y