For every n in N and k in N with 0 <= k <= n:
(n+1 k+1) = (n k) + (n k+1),
(n k) = (n n-k),
(n 0) = (n n) = 1.