theorem Th46: :: CGAMES_1:46

for g being ConwayGame holds
( g is fuzzy iff ( ex gL being ConwayGame st
( gL in the_LeftOptions_of g & gL is nonnegative ) & ex gR being ConwayGame st
( gR in the_RightOptions_of g & gR is nonpositive ) ) )