← BASIC PROPERTIES OF CONGRUENCES