theorem Th25: :: CGAMES_1:25

for f being ConwayGameChain
for n being non zero Nat holds f | n is ConwayGameChain