Инварианты присоединенного действия классических групп

Пусть $H=Sp(n)$ или $H=O(n)$, причем $\operatorname{char}K\ne2$ в ортогональном случае. Доказывается, что алгебра инвариантов $K[M(n)^m]^H$ порождается элементами $\sigma_i(Y_{j_1},\dots,Y_{j_s})$, где каждая матрица $Y_i$ – это либо $X_i$, либо (симплектически) транспонированная к $X_i$.