a necessary and sufficient condition based on the proper rational transfer function matrices
is given for the existence of a proper stabilizing controller
. The condition states that the McMillan degrees of
and
must be equal, where
represents the unstable components of the partial fraction expansions of
.