The poles of are the zeros of together with the poles of , or equivalently the zeros of together with the poles of . Let
be the number of times that the Nyquist contour of winds around , clockwise; let
be the number of zeros of in the right half plane;
be the number of poles of in the right half plane;
Then, by the Argument Principle of complex analysis
Here by hypothesis, so . Hence has no poles in the right half plane, hence is stable.