is controllable with
for all
, then the eigenvalues of
lie on the unit circle. This is Goka\´s conjecture. Through algebraic transformation and discussion of invariant proper subsets, this note gives a proof of the conjecture, and shows that for more general discrete-time bilinear systems, the conjecture is still true.