一个矩阵的化零多项式没有重根,那这个化零多项式一定是极小多项式吗?为什么?