theorem Th14: :: CGAMES_1:14

for g, gO being ConwayGame st gO in the_Options_of g holds
ConwayRank gO in ConwayRank g