Assuming:
Lemma 1.11. - φ1 is an eigenfunction of λ1. Then: λ2(M)=minf⊥φ1f≠0qM(f), and it is attained only on eigenfunctions of λ2(M).