theorem Th29: :: CGAMES_1:29

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