theorem Th23: :: CGAMES_1:23

for alpha being Ordinal
for f being ConwayGameChain st f . (len f) in ConwayDay alpha holds
f . 1 in ConwayDay alpha