Induktionsanfang n = 0
(a über 0) = (a + 1 über 0)
1 = 1
Induktionsschritt n --> n + 1
(a über 0) + ... + (a + n über n) + (a + n + 1 über n + 1) = (a + n + 1 + 1 über n + 1)
(a + n + 1 über n) + (a + n + 1 über n + 1) = (a + n + 2 über n + 1)
(a + n + 1)! / (n!·(a + 1)!) + (a + n + 1)! / ((n + 1)!·a!) = (a + n + 2)! / ((n + 1)!·(a + 1)!)
(a + n + 1)!·(n + 1) / ((n + 1)!·(a + 1)!) + (a + n + 1)!·(a + 1) / ((n + 1)!·(a + 1)!) = (a + n + 2)! / ((n + 1)!·(a + 1)!)
(a + n + 1)!·(n + 1) + (a + n + 1)!·(a + 1) = (a + n + 2)!
(a + n + 1)!·((n + 1) + (a + 1)) = (a + n + 2)!
(a + n + 1)!·(a + n + 2) = (a + n + 2)!
(a + n + 2)! = (a + n + 2)!