complex conjugate root theorem