theorem Th3: :: SURREAL1:3

for A, B being Ordinal st A c= B holds
B = A +^ (B -^ A)