欧几里得除法¶

欧几里得除法也叫带余除法，指 \(\forall a,b \in \mathbb{Z} \wedge b \ne 0\)，存在唯一的整数 \(q,r\) 使得

并且

其中 \(a\) 是被除数，\(b\) 是除数，\(q\) 是商，\(r\) 是余数。