theorem Th32: :: CGAMES_1:32

for g1, g2 being ConwayGame st g1 in the_Tree_of g2 holds
the_proper_Tree_of g1 c= the_proper_Tree_of g2