その昔、高木くんが奇数の完全数の非存在証明をやってた頃の話で、
その証明が成立しているなら、偶数の完全数も存在しないことになってしまうから、
その証明は間違っていると言える、というようなことがあったのだが、
FLTの初等証明でも、そんなことにはなってないよね？

具体的には、その証明が成立しているなら、n=2の場合でも解の組が存在しないことになってしまう、というようなことはないよね？