数论之同余二