Proofs of convergence of adaptive finite element methods (AFEMs) for approximating eigenvalues and eigenfunctions of linear elliptic problems have been given in several recent papers. A key step in ...