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. 