قضیه که تعریف تقسیم ایوکلیدین را برجسته میسازد تضمین مینماید که چنین یک فاکتور و باقیمانده همیشه موجود بوده و از هم متفاوت اند.