请给出本原多项式的定义，并用一个实例来说明它的性质。