theorem Th22: :: CGAMES_1:22

for f being ConwayGameChain
for n, m being Element of dom f st n <= m holds
ConwayRank (f . n) c= ConwayRank (f . m)