theorem Th2: :: CGAMES_1:2

ConwayDay 0 = {ConwayZero}