lyapunovs second theorem