  This technical report presents a direct proof of Theorem~1 in [1] and some
consequences that also account for (20) in [1]. This direct proof exploits a
state space change of basis which replaces the coupled difference equations
(10) in [1] with two equivalent difference equations which, instead, are
decoupled.
