Then P > 0 and
Moreover
has no eigenvalues on the imaginary axis since
is antistable
and
is stable
By Bounded Real Lemma,
Contd
.