theorem Th24: :: CGAMES_1:24

for g being ConwayGame holds g in the_Tree_of g