Euclidean division

Euclidean division is a method of dividing two integers that results in a quotient and a remainder. It can be formally defined for any two integers \( a \) (the dividend) and \( b \) (the divisor), with \( b > 0 \).