بخش‌پذیری از ساده‌ترین و بنیادی‌ترین مفاهیم ریاضی است و بارزترین نتیجه‌ی نظریه اعداد که قضیه الگوریتم است. این مفهوم در عین اینکه مفهوم ساده و همه فهم، است اما دارای مسائل دشوار و پیچیده نیز است. این قضیه که به قضیه الگوریتم شهرت دارد بیان می‌دارد که باقی‌مانده تقسیم یک عدد بر عدد دیگر برابر r می‌باشد.