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