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