显然在本题中需要保证 $p\equiv 1(\bmod 2)$。

同时在数据中也保证了这一点，但是数据范围并没有保证。建议加上。