由艾森斯坦判别法想到，能不能这样说
有一个素数p，使得
1，p不整除an
2，p整除an-1，an-2……a1
3，p不整除a0
这样是否也能判别fx在有理数域不可约？
因为艾森斯坦判别法的证明是假设fx可约，推出p不存在(逆否则是p存在fx不可约。)
然后因为p整除a0=b0×c0，但p²不整除a0，就是说b0和a0有一个不被整除，最后考察b0到bl中第一个不被整除的bk(p不整除an保证了起码有个b不被p整除)，有个bk×c0要被p整除。但这里没用上b0和a0有一个要被整除吧，只用了有一个不被整除。那我一开始就说p不被a0整除，不就是b0和a0绝对不被p整除，那么矛盾也还是存在，还是能完成证明？我这个思路有错吗