Modular Arithmetic Properties Lemma 2.13 Euclid Let a and b be integers and p be a prime number. If p | ab, then either p | a or p | b. There are infinite number of prime Primality Test