theorem Th39: :: SURREALO:39

for A, B, O being Ordinal st O c= A & A c= B holds
(unique_No_op A) . O = (unique_No_op B) . O