g = - (- g) by Th40;
then ( not - g is positive & not - g is negative & not - g is zero ) ;
hence - g is fuzzy by Th42; :: thesis: verum