A constructive proof is presented to show that, for any permutation P on spin space, P+P1 can be expressed as a linear combination of spin-operator products sm.sn with all the particle indices m, n in a product distinct. 1980 The Institute of Physics.