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