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