これは-有理係数の多項式と一つの-有理根をあたえるから、ほかの根もまた-有理根(つまりに属する)である。