Legyen p prímszám. Igazoljuk, hogy (np)-[np] osztható p-vel. (A jelölések értelmezése megtalálható az iskolai Függvénytáblázatban.)