Sejam $P(x)=x^4+a_0{x}^3+a_1{x}^2+a_{2}x+a_3$ e $Q(x)=a_3{x}^4+a_2{x}^3+a_1{x}^2+a_{0}x$ dois polinômios. Sabendo-se que $P(x)>0$ para todo $x$ real, então, que: