Theorem 18.13 Let a,b,c∈Z. If a|bc and GCD(a,b)=1, then a|c.
Theorem 19.14 There are infinitely many prime numbers.