فرص کنید n2،n1، … و nr و نیز m2،m1، … و mr زیر مجموعههایی از عددهای صحیح باشند. به ازای هر iبین ۱ و r، si را مجموعهی همهی (n,m) هایی میگیریم که n∈ni و m∈mi باشد. همچنین Sرا برابر اجتماع همهی si ها تعریف میکنیم. ثابت کنید اگر به ازای هر دو عدد صحیح متمایز n و m، (n,m)∈Sباشد، آنگاه تعداد عددهایی چون p که (p,p)∉S متناهی است.