Nếu phần còn lại bên phải của A trên chia cho B là số không, sau đó Q được cho là một ước phải của A trên chia cho B. Một định nghĩa tương tự áp dụng cho một ước trái của A trên chia cho B.
Để làm cho các định dạng định nghĩa có ý nghĩa, chúng ta phải thấy rằng, cho A và B này, có thực sự tồn tại và thương số còn lại theo quy định. Khi chúng tôi đã làm điều này, chúng ta sẽ chứng minh rằng họ cũng là duy nhất. Các bằng chứng về theirem tiếp theo là một sự tổng quát của thuật toán phân chia cho đa thức vô hướng.
đang được dịch, vui lòng đợi..