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

theorem
  x*y ==0_No iff x == 0_No or y == 0_No by Th72,Th74;
