Бесконечность группы Nil

Пусть $\operatorname{Nil}_iA=\operatorname{ker}(K_{i+1}A[t]\to K_{i+1}A)$, $i\geqslant0$, где $A$ – ассоциативное кольцо с единицей, а $A[t]$ – кольцо многочленов над $A$. Доказано, что если группа $\operatorname{Nil}_iA$ отлична от нуля, она не может быть конечнопорожденной. Библ. 4 назв.