Recall that for integers and a fixed integer , we define if and only if . In this case, we say that is congruent to modulo .