ABSTRACT
This section presents some lemmas needed to prove the ELT’s. They are used to handle some technical details showing that the Lagrange multiplier λ is asymptotically small, and to show that higher order terms in some Taylor series can be neglected.
