同余问题的公式