for g being ConwayGame holds ConwayZero in the_Tree_of g