The Cauchy product of two sequences f(n) and g(n) defined for nonnegative integers n is defined by (f°g)(n) = sum_(k = 0)^n f(k) g(n - k).