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.