Integral domain, Division algorithm