for g being ConwayGame holds the_Options_of g c= the_proper_Tree_of g