theorem Th5: :: SURREAL0:5

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