どうして、
y(y^2+6) = 20(3-x^2)が有理数解を持たないことがわるのですか？