lyapunovs first theorem