theorem Th74: :: SURREALN:74

for A being Ordinal holds No_uOrdinal_op A in Day A