lemma

From the assumption δ3k < 1/3 it follows that γ := q 1+δ3k 2(1−δ3k) < 1. Lemma 3.1 and Lemma 3.3 yield

Aus der Annahme δ3k <1/3 folgt, dass γ: = q 1 δ3k 2 (1-δ3k) <1. Lemma 3.1 und Lemma 3.3 Ausbeute

Fatou's lemma

Lemma von Fatou

bit counting lemma

Bit zählen lemma

can be stated as following lemma

kann als folgende Lemma angegeben werden

This is rendered by the following lemma.

Dies wird durch das folgende Lemma gerendert.

We continue with the proof of Lemma 4.2.6.

Wir fahren mit dem Beweis von Lemma 4.2.6.

This is substantiated by the following lemma.

Dies wird durch das folgende Lemma belegt.

According to this lemma, the partial sums of the continued radical

Nach diesem Lemma, die Teilsummen der Rest fortgesetzt