§19.3 同余