α^3,β^3を解とする二次方程式だから、解と係数の関係によりそうなる。