There exists a stabilizing controller
K(s)
such that
if and only if