گوییم عدد عدد را عاد می‌کند یا عدد را می‌شمارد و یا مقسوم علیه است یا مضرب است و یا بر بخش‌پذیر است ، هر گاه عدد صحیحی مانند موجود باشد ، بطوریکه . نماد به این معنی است که عدد را عاد می‌کند.
خواص بدیهی بخش‌پذیری در قضیه زیر خلاصه می‌شود:
از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..
وزارت آموزش و پرورش > سازمان پژوهش و برنامه‌ريزی آموزشی
شبکه ملی مدارس ایران رشد
عدد 
را عاد می‌کند یا 
موجود باشد ، بطوریکه 
. نماد 
به این معنی است که 
نتیجه می‌دهد که 
نتیجه می‌دهند که 
. در اینصورت 
.
نتیجه می‌دهد که 
وجود دارد ، بطوریکه 
و 
وجود دارد که 
. بنابراین :
وجود دارد ، بطوریکه 
. بنابراین:
وجود دارد ، که 
. حال به جای 
، پس 
. بنابراین 
و 
.اما چون 
، پس طبق بند فوق 
و از 
. بنابراین 
و درنهایت 
.