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

theorem
  T is one-to-one implies ker T = (0).V by RANKNULL:15;
