. Katakan bahawa (1) memegang untuk yang diberikan n; kita kan buktinya untuk n + 1. Untuk j, k ≥ 0, let [ƒ(x, y)] jk menandakan koefisien xjyk dalam polinomial ƒ(x, y). Dengan hipotesis induktif, (x + y)n adalah suatu polinomial di x dan y sepertinya [(x + y)n] jk adalah