“…Indeed, we wish to find for a potential such that and we have over The linearization operator of the previous equation is given by Thanks to Corollary , the kernel of the Lichnerowicz operator is trivial. Moreover, the techniques of [, Section 6.2; , Section 4.3.1] can be applied without change to get a rough lower bound on the lowest eigenvalue of this operator and this will allow us to see that is a Banach isomorphism. Actually, there exists a constant such that for any …”