reserve A,B for Ordinal,
        o for object,
        x,y,z for Surreal,
        n for Nat,
        r,r1,r2 for Real;

theorem  Th46:
  |.y.| infinitely< x implies not x ==0_No
proof
  assume |.y.| infinitely< x;
  then 0_No <= |.y.| < x by Th9,Th31;
  hence thesis by SURREALO:4;
end;
