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