λ1(M)=min⁡f≠0qM(f) and it is attained only on

Lemma 1.10. eigenfunctions of λ1.