帰納法、背理法で証明って答えが用意されてる数学くらいでしか使えないでしょ

使うなら正しいって判断下せるナイアンが答えを用意してくれないと無理筋かと