Ivan Fesenko氏のサーベイ見てたらFrey conjecture(フェルマー予想)も解けてるってなってるけど
q(a,b,c)>2も成り立っているってことでいいの?