大辞林に「間接証明法」で始まるの検索結果 1-1。