Lyapunov's Stability Theorem

Theorem
Let $$V$$ be a Liapunov function on an open set containing an equilibrium point $$x_0$$.

Then $$x_0$$ is stable.

If $$V$$ is strict, then $$x_0$$ is asymptotically stable.