theorem Th19:
  for X being ordinal-membered set holds rng numbering X = X
  proof
    let X be ordinal-membered set;
    thus rng numbering X = On X by Th18 .= X by Th2;
  end;
