theorem Th7: :: CGAMES_1:7

for x being set holds
( x in the_LeftOptions_of ConwayOne iff x = ConwayZero )