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

theorem Th17:
  for x,y being Element of V st T.x = T.y holds x - y in ker T
    by RANKNULL:17;
