Proper Lyapunov Criterion for Global Asymptotic Stability