>89
全然変わってませんけど？？？

85では、整数比の無理数解が存在する可能性がなくなっています。