theorem Th25: :: RLSUB_1:25

for V being RealLinearSpace holds V is Subspace of V