theorem Th34: :: CGAMES_1:34

for g being ConwayGame holds the_Options_of g c= the_Tree_of g