theorem Th67: :: SURREALN:67

for A being Ordinal holds No_Ordinal_op A in Day A