theorem
  rng psi c= sup psi
proof
  let e be object;
  assume
A1: e in rng psi;
  then e is Ordinal by Th48;
  hence thesis by A1,Th19;
end;
