両方の二項係数を階乗で展開し、n!/(n−r)!n!/(n-r)!n!/(n−r)! と r!/(r+1)!=1/(r+1)r!/(r+1)!=1/(r+1)r!/(r+1)!=1/(r+1) を約分すると、ちょうど n+1r+1\frac{n+1}{r+1}r+1n+1 が残り、F(n,r)F(n,r)F(n,r) に関する主張が証明される。