ההסבר לכל מספר ראשוני p מבוסס
על הסדרה הבאה: אם n אינו מתחלק ל-p, אז a

=0. אם n מתחלק ל-p, אבל אינו מתחלק ל-p^2, אז a

=1. אם n מתחלק ל-p^2, אבל אינו מתחלק ל-p^3, אז a

=2. אם n מתחלק ל-p^3, אבל אינו מתחלק ל-p^4, אז a

=3. וכו´.
מול מכפלת המספרים 1, 2, 3, ..., k מציבים את סכום המספרים a(1), a(2), a(3), ..., a(k)
כדי לדעת כמה פעמים !k מתחלק ל-p. כנ"ל:
מול מכפלת המספרים n-k+1, n-k+2, n-k+3, ..., n-k+k מציבים את סכום המספרים a(n-k+1), a(n-k+2), a(n-k+3), ..., a

כדי לדעת כמה פעמים
n!/(n-k)!
מתחלק ל-p. הסכום השני כמובן לא קטן מהראשון. נשאר לברר, מתי הוא גדול ממנו.