임의의 양의 정수 $a$에 대해 방정식 $x^3+x+a^2=y^2$을 만족하는 양의 정수의 순서쌍 $(x,y)$이 적어도 하나는 존재함을 보여라.