theorem Th49:
  born (sReal.r) c= omega
proof
  sReal.r in Day omega by Lm10;
  hence thesis by SURREAL0:def 18;
end;
