補助定理

じょ・てhojo·teiri3

N.
Logik  Lemma n n (Hilfssatz bei Beweisen).