補助定理ほじょていり<ほ'じょ>･てい'り3

LogikLemmaHilfssatz bei Beweisen