No_Ordinal_op A in Day A by Th67;
hence No_Ordinal_op A is surreal ; :: thesis: verum