y^2=x^3+1の整数解を全て求めて!