Before revision:  Error estimates for the eigenvalues  are proven by appealing to Weyl's Law.
After revision:  Error estimates for the eigenvalues and eigenfunctions are proven by appealing to Weyl's Law.