اجازه دهید می شود زیر مجموعه ای از اعداد صحیح نامنفی با خواص است که (1) 0 عدد صحیح است در و (2) در هر زمان که فاصله موجود است ، یکی می تواند نشان دهد که نیز در است. تحت این شرایط، است.