Кубические уравнения

Доказать, что если $\varphi$ --- многочлен любой степени с вещественными коэффициентами, не имеющий кратных комплексных корней, то

где $t$ --- число пар комплексно-сопряженных мнимых корней многочлена $\varphi$.