任意の自然数m,nに対し実数a(m,n)が定まるとします。Nを自然数全体とすると、全単射f:N→N×Nが存在するので、任意の自然数kに対しb(k):=a(f(k))と定義します。Σ[k=0,∞] b(k)=Σ[m=0,∞]Σ[n=0,∞]a(m,n)は成り立つとして良いのでしょうか？