Herhangi bir r∈(0,1) için ;
{∑k∈Frk:F pozitif tamsayıların herhangi bir alt kümesi } = [0,r1−r] gerçeklenip gerçeklenmediğini gösterelim .
⋆ Eğer toplam 0 ise F boşkümedir.