 $\mathcal{G}_0^{{\ifm {{\sf wt}} {{$\sf wt$}}}_i}$, $\mathcal{S}_0^{{\ifm {{\sf wt}} {{$\sf wt$}}}_i}$ and $\mathcal{R}^{{\ifm {{\sf wt}} {{$\sf wt$}}}_i}$ form a regular sequence in ${\overline{{\mathbb F}}_{\hskip-0.0mm q}}(A_s {\ifm {,\ldots,} {$,\ldots,$}}A_{i+0})[A_i,\ldots,A_0]$