theorem :: CGAMES_1:15

for g, gO being ConwayGame st ( gO in the_LeftOptions_of g or gO in the_RightOptions_of g ) holds
ConwayRank gO in ConwayRank g