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

theorem
  0.V in ker T by RANKNULL:11;
