for V being strict RealLinearSpace holds V in Subspaces V