一次线性同余式解决问题