Asymptotic stability implies the existence of a local polynomial Lyapunov function

We show that every globally asymptotically stable system with a twice continuously differentiable vector field admits a local polynomial Lyapunov function on an arbitrary bounded neighborhood of the origin.