Şunu biliyoruz, 3!∣7! ve 4!∣7! ama çarpımlarının 3!×4!∣7! bölmesi ilginç değil mi? Burada sayılar küçük olduğundan faktoriyel tanımını kullanarak sadeleştirme yöntemiyle gösterebilirim ama sayılar büyüdüğünde?
Kabaca, eğer a1+a2+⋯+an=n ise n!a1!a2!…an!∈N