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

Показано, что если $C$ — регулярное кольцо, причем $\mathrm{SK}(C)=0$, то при $r\geq\max(3,\dim C+2)$ группа $SL_r\bigl(C\bigl[[T_1,\ldots,T_m]\bigr] \left[X_1^{\pm1},\ldots,X_n^{\pm1},Y_1,\ldots,Y_s\right]\bigr)$ порождается элементарными матрицами.