for g, gO being ConwayGame st gO in the_Tree_of g holds
ConwayRank gO c= ConwayRank g