A proper Lyapunov function with strict decrease along every nonstationary trajectory forces an equilibrium to be globally asymptotically stable. Compact invariant sublevel sets keep all forward orbits controlled, and omega-limit arguments identify the equilibrium as the only possible limit.