theorem Th18: :: RANKNULL:18

for F being Ring
for V, W being VectSp of F
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})