DM.CM.3.g: Determine congruence within modular arithmetic.