1 文書を見つけるための辞書。

• lemma
• 補助定理
• a subsidiary proposition that is assumed to be true in order to prove another proposition
• 他の命題を証明するために真であると想定される補足的命題