本原多项式一定是整系数多项式。 这是因为本原多项式的所有系数都是整数，并且它的最高次项系数为1。 本原多项式是在有理数域上的一类首项系数为1的整系数多项式，所以它的系数都是整数。 此外，本原多项式的定义要求它的所有系数都与1没有公因数，因此它的系数不可能是分数或者小数，只能是整数。 因此，本原多项式一定是整系数多项式。