Assuming:

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