Combinatorial identities, and completeness of eigenstates of the Heisenberg magnet