theorem Th3: :: CGAMES_1:3

for alpha, beta being Ordinal st alpha c= beta holds
ConwayDay alpha c= ConwayDay beta