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