同余的性质与应用