theorem
  for x being Element of V holds x in ker T iff T.x = 0.W by RANKNULL:10;
