怎么判断如下同余方程没有解
a1+kb1≡a2+kb2(modp)a_1+kb_1\equiv a_2+kb_2 \pmod pa1+kb1≡a2+kb2(modp)
及判断存不存在满足条件的 k 或求 k