パズルンさんの投稿問題も本当に難しくて、楽しくて、いつも感心しています。
ただ、私などよりずっ〜と短時間で解いてしまう神様がいるのでタイトルに引っかかって、なかなかResできませんでした。まぁ、細かいことは置いといて、、、、、まじめな雑談が出来ればうれしいナ！ルンルン！
神様が作ったプログラム、例えば管理人様が用意した複数解チェックプログラムに比べれば私の作ったプログラムは100〜数億倍以上遅いと感じています。パズルンさんはどうやって解いているのでしょうか？紙ベース(実際は紙ではないでしょうが)で解いているとしたら本当に神ですね。
問い掛けの中で「適当な場所で背理法を使っています」の意味がわかりませんでした。
プログラムを作り始めた時から「背理法」という言葉には引っかかりがありました。このサイトの問題で云えば、「背理法」で解けるのは[初級]レベル以下と考えています。
説明が長くなるのでとりあえずここまでとします。