Main Lemma Implies the Main Theorem

This chapter shows that the Main Lemma implies the main theorem. It proves Theorem (10.1) by inductively applying the Main Lemma in order to construct a sequence of solutions of the Euler-Reynolds system. At each stage of the induction, an energy function is chosen along with a parameter whose choice determines the growth of the frequency parameter and the decay of the energy level. A base case lemma is then established, after which the proof of the Main Theorem (10.1) is presented so that the Main Lemma implies the Main Theorem. The Main Lemma is employed to approximately prescribe the energy increment of the correction. The solution obtained at the end of the process is nontrivial.