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