不可约多项式本原多项式的性质关于本原多项式乘积的性质是（A）提出来的