一个无意中想到的问题，看似很明显，但不知道正不正确
易知alpha是F上的代数元，结果对于单项式的根比较明显，利用Bezout等式即可。但对于一般多项式没有头绪，尝试过构造同构关系证明，但不成功。