theorem Th18: :: ZMODUL05:28

for V being Z_Module
for A being Subset of V
for x, y being Element of V st x - y in Lin A holds
x in Lin (A \/ {y}) by RANKNULL:18;