theorem Th40: :: CGAMES_1:40

for g being ConwayGame holds - (- g) = g