 Strict Lyapunov function

$V(x_0)=0$, $V>0$ elsewhere, and $\dot{V}<0$ prove asymptotic stability; suitable sublevel sets lie in the basin.