The proof of Harriman’s theorem [1] is given for arbitrary order reduced density matrix of both the clear, and the mixed states of fermions at once. Its essential parts are a Pauli exclu- sion principle, rotation group ...