فرص کنید $n_2،n_1$، … و $n_r$ و نیز $m_2،m_1$، … و $m_r$ زیر مجموعههایی از عددهای صحیح باشند. به ازای هر $i$بین ۱ و $r$، $s_i$ را مجموعهی همهی $(n,m)$ هایی میگیریم که $n \in n_i$ و $m \in m_i$ باشد. همچنین $S$را برابر اجتماع همهی $s_i$ ها تعریف میکنیم. ثابت کنید اگر به ازای هر دو عدد صحیح متمایز $n$ و $m$، $(n,m) \in S$باشد، آنگاه تعداد عددهایی چون $p$ که $(p,p) \notin S$ متناهی است.