A Lyapunov Formulation of Nonlinear Small Gain Theorem for Interconnected Systems