On the projection of many‐electron spin eigenstates