请问多项式可逆的充要条件是什么。本机上随了近千组数据，只要常数项为1好像就有解，求证明。