2F1(-n, b, c, 1) = (c - b)_n/(c)_n for (n element Z and n>=0) (a + b)_n = n! sum_(k=0)^n ((a)_k (b)_(n - k))/(k! (n - k)!) for (n element Z and n>=0)