First-order serial correlation in seemingly unrelated regressions

This note shows that the positive definiteness of the variance matrix of seemingly unrelated residuals with first-order serial correlation implies that the roots of the serial correlation matrix have a modulus smaller than 1.