Fundamental theorem of arithmetic
Remember that ab could be divided by p. So now, on the left-hand side we have two terms that are divisible by p. So the term on the right-hand side is also divisible by p. We have now proven that if p does not divide a, it must divide b. That proves the lemma.