Macdonald polynomials as characters of Cherednik algebra modules

We prove that Macdonald polynomials are characters of irreducible Cherednik algebra modules.
Comment: 6 pages; v2 logical content essentially the same, but main theorem is now explicitly an equivalence between the n! theorem and the character formula for irreducible H-modules