Descartes' rule of signs is exact!

We show that for any f∈R[x] there exists g∈R[x] with non-negative coefficients such that the number of positive real roots of f is exactly the number of changes of signs in the vector of coefficients of fg. We also show that g can also be chosen as a power of x+1.