theorem Th6: :: CGAMES_1:6

for g being ConwayGame holds
( g = ConwayZero iff the_Options_of g = {} )