X sonlu bir kume f1,f2:X⟶[0,1] birer fonksiyon olsunlar. Eger ∑x∈Xfi(x)=1esitligi i=1,2 icin saglaniyorsa ∑x,y∈Xf1(x)f2(y)=1esitliginin de saglanacagini gosterin.
Su sekilde gosterebiliriz:∑x,y∈Xf1(x)f2(y)=∑x∈X∑y∈Xf1(x)f2(y)= =∑x∈Xf1(x)(∑y∈Xf2(y))=∑x∈Xf1(x)=1. Not: f1(x) degeri y'ye bagli olmadigindan toplamin disarisina rahatcana atabildik. Biraz da uzatmis olabilirim.