（正确）有理数域上的不可约多项式（二）两个本原多项式的乘积一定是（B）