sum(i = 0, k, sum(j = 0, l, C(i + j, i)))