for x being object
for GF being Ring
for V being LeftMod of GF
for A being Subset of V st x in A holds
x in Lin A