多项式证明已知p为整数系数多项式, a为整数且p(a)不为零.求证: p(a)整除p(a+p(a)).