ジーニアス英和大辞典 ページ 45201 での【別の命題を証明するのに有効と考えられる数学】単語。