Actually, the argument is beautifully simple and short (the paper is a mere 9 pages), though it of course uses the basic theory of eigenfunctions on domains, such as Weyl’s law, and I can give the gist of it here (suppressing all technical details).

For commenters

To enter in LaTeX in comments, use $latex <Your LaTeX code>$ (without the < and > signs, of course; in fact, these signs should be avoided as they can cause formatting errors). See the about page for details and for other commenting policy.