theorem
  for X being Subset of V holds T .: X is Subset of im T by RANKNULL:12;
