theorem Th1: :: SURREAL0:1

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