Jelentse $A$ a $p$-nél nem nagyobb törzsszámok egy részének szorzatát, $B$ a többinek szorzatát. Mutassuk ki, hogy $A+B$ összegnek mindig van $p$-nél nagyobb törzstényezője; ugyanevvel a tulajdonsággal bír, ‐ ha $A>B$ ‐, az $A-B$ különbség is, kivéve, ha értéke 1.