reserve V,W for Z_Module;
reserve T for linear-transformation of V,W;

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;
