theorem Th33: :: CGAMES_1:33

for g being ConwayGame holds the_Options_of g c= the_proper_Tree_of g