Recovery of the basis of group π2n representation on its subgroup πn×n and Harriman’s theorem

The proof of Garriman’s theorem is given for arbitrary order reduced density matrix of both the clear, and the mixed states of fermions at once. Essential its parts are a Pauli's exclusion principle, rotation group symmetry of spin functions and new commutation relations.