. . "means that a and b are both in the same congruence class\" modulo n, i.e., both leave the same remainder on division by n, or, equivalently, a ??? b is a multiple of n." . .