On the Positivity of the Coefficients of a Certain Polynomial Defined by Two Positive Definite Matrices