sが整数係数の3次方程式x^3+ax^2+bx+1=0 の無理数の解であるとき
s^2も無理数といえますか？