Lyapunov's Stability Theorem

Theorem
Let $V$ be a Lyapunov 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.