We deduce that has at most a simple pole on the imaginary axis, so has no poles in the imaginary axis. Hence has all its poles in LHP. Hence is stable.
Conversely, suppose that is stable. Then by Proposition 57, there exists a such that the transfer function is and the eigenvalues of are the poles of , hence satisfy . Then by Theorem 119, is stable.