reserve A,B,C for Ordinal,
        o for object,
        x,y,z,t,r,l for Surreal,
        X,Y for set;

theorem Th9:
  - -x = x
proof
  x in Day born x by SURREAL0:def 18;
  hence thesis by Lm1;
end;
