theorem :: CGAMES_1:38

for g being ConwayGame holds ConwayZero in the_Tree_of g