Bewijs
`dan'
Stel p is priem.
Neem nu aan dat p | bc. Als p | b zijn we klaar. Als
p geen deler is van b, dan hebben p en b geen
delers >1 gemeen en kunnen we Propositie toepassen.
`slechts dan als'
Nu neem an dat p niet priem is, maar te schrijven is als p=bc,
met b,c > 1.
Dan deelt p het product bc, maar niet b noch c.