Added combinatorial property for ALL n x k (not just n x n) using C(n+k,k)