theorem Th23: :: SURREALI:23

for A, B being Ordinal st A c= B holds
Positives A c= Positives B