费马每一个次数大于的本原多项式都可以分解为（A）在Q上不可约的本原多项式的乘积