theorem Th2: :: SURREAL0:2

Games 0 = {[{},{}]}