where
is a nonnegative constant,
is integrable on
, and
<
. If the Nyquist diagram of the open-loop gain does not go through nor encircle the critical point, then the closed-loop system is inputoutput stable, in the several meanings explained in the paper.