In this section, we will list some basic lemmas and inequality for proving our Theorems 1.1 and 1.2.
In this section, we first introduce some background definitions in a Banach space, present some basic lemmas, and then present the fixed point theorems that are to be used in the proof of the main results.
In Section 2, some basic lemmas and results are given.
Moreover, proposed algorithms, lemmas and theorems certify the novelty of the proposed design.
Several lemmas and theorems pertaining to the stability of variable order systems are provided first.
MaLARea is intended to be used in large theories, i.e. problems with a large number of symbols, definitions, premises, lemmas, and theorems.
Without this convention, statements of lemmas and theorems would be too cumbersome.
The fuzzy instrumental variable (FIV) concept is proposed so that consistency and unbias properties of the FIV algorithm are derived from Lemmas and Theorem.
In [8], Huang and Jia applied the basic Lemma 2.3 and the famous Zorn lemma to show the existence of minimal members in the course of the proof of their other main theorem (Theorem 3.1) (see line 33 of p.48).
In Section 2 we recall some definitions and basic lemmas.
