请给出本原多项式的定义,并用一个实例来说明它的性质。
出自:计算机科学