theorem Th65: :: ZMODUL02:65

for x being set
for V being Z_Module
for A being Subset of V st x in A holds
x in Lin A by MOD_3:5;