το σύνολο των μεταθέσεων της ακολουθίας
. Για κάθε μετάθεση
έστω
το πλήθος των ζευγών
με
και
. Έστω
το πλήθος των μεταθέσεων
για τις οποίες το
διαιρείται με το
. Να δειχθεί ότι υπάρχουν άπειροι πρώτοι
με
και άπειροι πρώτοι
με
.