theorem Th27: :: RLSUB_1:27

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