証明はぜんぜんわからないんだけど、
もし証明が合っているとして、
これだけ簡単な方法が何でwilesは出せなかったんだろう？
ここ10年間に理論が進んだってこと？