研究社新英和大辞典 ページ 214704 での【・proof by exhaustion 窮極証明.】単語。