İki tarafı $(-1)^n$ ile carpıp index değiştirince sol taraf
$\sum _{l=0} ^n (-1)^l { n \choose l} (n-l)^n $
oluyor. Bu çok bilinen Sterling sayıları ile ilgili bir formül. Inclusion-exclusion (ekleme-çıkarma) prensipi ile elde edilen we tam olarak n elemanlı bir kümeden n elemanlı bir kümeye olan örten fonksiyonları sayan bir toplam. Dolayısı ile sağ tarafa yani $n!$ ifadesine eşit oluyor.