The goal of this paper is to provide a Lyapunov statement and proof of the recent nonlinear small-gain theorem for interconnected input/state-stable (ISS) systems, An ISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for both the subsystems.