ISS Lyapunov Theorem