A mathematical proof involving binomial coefficients and Pascal's Triangle

[Achernar]

*Originally posted by tFr *
B is an element of the set {sum(from i=0 to n)[(n C i)]*sum(from j=0 to k)[(k C j)]}

I think you have the right understanding, but your notation is confused. Are you treating a summation as a set consisting of its terms?