theorem :: RLVECT_3:21

for V being strict RealLinearSpace
for A, B being Subset of V st Lin A = V & A c= B holds
Lin B = V