同余式及其应用