theorem Th70: :: SURREALN:70

for A being Ordinal holds born (No_Ordinal_op A) = A