Об одном обобщении теоремы Размыслова–Прочези

Доказывается, что все соотношения между инвариантами нескольких $n\times n$-матриц над бесконечным полем произвольной характеристики следуют из $\sigma_{n+1},\sigma_{n+2},\dots,$ где $\sigma_i$ – это $i$-коэффициент характеристического многочлена, распространенный на матрицы любого порядка $\ge i$. Аналогично, все соотношения между конкомитантами следуют из $\chi_{n+1},\chi_{n+2},\dots$, где $\chi_i$ – характеристический многочлен от общей матрицы размера $n\times n$, также распространенный на общие матрицы любого порядка.