О структуре симплектической группы колец многочленов над регулярными кольцами

Показано, что если $A$ — либо кольцо геометрического типа, либо $A=C\bigl[[T_1,\ldots,T_{m}]\bigr]$, где $C$ — регулярное кольцо размерности $\leq1$, то группа $\operatorname{Sp}_{2r}\left(A[X_1,\ldots,X_{n}]\right)$ ($r\geq2$) порождается элементарными симплектическими матрицами.