The Kalman-Yakubovich-Popov (KYP) Lemma has been a cornerstone in System Th
eory and Network Analysis and Synthesis. It relates an analytic property of
a square transfer matrix in the frequency domain to a set of algebraic equ
ations involving parameters of a minimal realization in time domain. This n
ote proves that the KYP lemma is also valid for realizations which are stab
ilizable and observable.