theorem Th16: :: CGAMES_1:16

for g being ConwayGame holds not g in the_Options_of g