Suppose you have equations like in .
. So if we pick any representative from these congruence classes they will solve the equation. So . But will also work right? Because they are representatives? But these values are "equal" to the other values.
Also the is just a symbol so could we just do the following: so that ?