同余法解题