theorem :: CGAMES_1:42

for g being ConwayGame holds
( g is zero or g is positive or g is negative or g is fuzzy ) ;