Lyapunov Stability and Local Asymptotic Stability Theorem