同余法解题.