 Second Lyapunov theorem

A positive-definite Lyapunov function with strictly negative orbital derivative away from the equilibrium proves asymptotic stability.