First-order transitions for n-vector models in two and more dimensions; rigorous proof - A. C. D. van Enter; S. B. Shlosman (Phys. Rev. Lett., 2002)