Legyen $p$ egy adott törzsszám; $A\mathrm{,}B$ és $C$ legyenek tetszés szerint adott egész számok azzal az egyetlen megszorítással, hogy $A$ és $B$ egyike sem osztható $p$-vel. Akkor mindig található két oly egész szám, $x$ és $y$, hogy