( Re (- z) = - (Re z) & Im (- z) = - (Im z) ) by COMPLEX1:17;
hence - z is g_rational by RAT_1:def 2; :: thesis: verum