自然数の添字の対（i,j)から自然数の添字ｋに対する写像が全単射であるとき
k=f(i,j)として a_{i,j} に対して b_k = a_{i,j} と対応させたとき、
　S = \sum_{k} b_k
の値が全単射ｆのとり方に依らない為のｆに対する必要十分条件は
どうなるのだろうかな。