  The following Proposition is a positive answer to a question about
cancellations between permutations that arises in a model problem in the many
body theory of Fermions. It concerns the mathematically rigorous implementation
of the Pauli exclusion principle.
