theorem Th64: :: SURREALN:64

No_Ordinal_op 0 = 0_No