nebenlemma

Eine Nebenform bzw. Variante des Lemmas