Fundamental theorem of arithmetic
First we now prove this lemma. Well, assume now that p does not divide a. Then p and a are coprime and we have Bezout's identity that says that there must be integers x and y such that