Sentence examples for auxiliary lemma from inspiring English sources

(Auxiliary lemma, see [20]).

Lemma 2.3 (Auxiliary lemma).

Now we prove the auxiliary lemma.

We begin with an auxiliary lemma.

First, we need the following auxiliary lemma.

We give the following auxiliary lemma.

We demonstrate the potential power of E-generalization by three example applications: computation of suggestions for auxiliary lemmas in equational inductive proofs, computation of construction laws for given term sequences, and learning of screen editor command sequences.

First, we need auxiliary lemmas.

We need the following auxiliary lemmas.

We firstly introduce two auxiliary lemmas.

Now we prove two auxiliary lemmas.