>>349
二次方程式から整数解が無いことも証明できる。