Jelentsen p törzsszámot. Igazoljuk hogy 10. (p-1k)2-1 osztható p-vel,20. (p-10)s+(p-11)s+(p-12)s+⋯+(p-1p-1)s osztható p-vel ha s páros, azonban 1-et ad maradékul, ha s páratlan.