reserve A,B,O for Ordinal,
        o for object,
        x,y,z for Surreal,
        n,m for Nat;
reserve d,d1,d2 for Dyadic;
reserve i,j for Integer,
        n,m,p for Nat;

theorem Th29:
  0 <= d iff 0_No <= uDyadic.d
proof
  0_No = uInt.0 = uDyadic.0 by Def1,Def5;
  hence thesis by Th24;
end;
