:: deftheorem Def16 defines nonpositive CGAMES_1:def 16 :
for g being ConwayGame holds
( g is nonpositive iff - g is nonnegative );