159 Proof

{{1}\over{1+GK}}={{1}\over{1+PX/QY}}=QY;

{{GK}\over{1+GK}}={{PX/QY}\over{1+PX/QY}}=PX.

Given any rational SISO, we have produced an algorithm for finding a controller to stabilise it.