If the system

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.