(The second fundamental theorem, dealing with relations between
invariants, was proved by Procesi [1]} and Razmyslov [2]}
in the case \(\operatorname{Char}K=0\)  and by Zubkov [3]} in the case \(\operatorname{Char}K>0\) . We recommend reader to read the book [4]}.)
