O produto das raízes não reais do polinômio é