theorem Th11: :: VECTSP_7:11

for GF being non degenerated Ring
for V being LeftMod of GF
for A being Subset of V
for W being strict Subspace of V st A = the carrier of W holds
Lin A = W