theorem Th35: :: SURREAL0:35

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