>>289 自己レス

命題A：『二つの超越数 a、b (a≠b)の 和a+b 差a-b の少なくとも一方は超越数である』
これの証明、対偶証明と見れなくもないね・・

命題P：二つの超越数 a、b (a≠b) の 和a+b 差a-b
命題Q：少なくとも一方は超越数である

＜対偶証明＞
¬Q：和a+b 差a-b 両方代数的数
¬P：a、b (a≠b) 両方代数的数

つまり 三段論法で
¬Q → R中の代数的数は体 → ¬P■
（命題が簡単な場合では、背理法も対偶証明も 見分けがつきにくいかな。発想は、背理法だが（＾＾）

なので、ラスボス設定をしておく
ラスボス命題Z：ワイルズのフェルマーの最終定理の証明は背理法である。背理法によらない証明を示せ（但し望月IUTを除く）