theorem :: ZMODUL02:71

for V being strict Z_Module
for A, B being Subset of V st Lin A = V & A c= B holds
Lin B = V by MOD_3:11;