$\min\{ax+by\mid ax+by>0, x,y\in\mathbb{Z}, a^2+b^2>0\}|(ax+by)$
若 $ax_0+by_0$ 是形如 $ax+by$ ($x,y$ 是任意整数, $a,b$ 是两个不全为零的整数)的数中的最小正数, 则 \[ (ax_0+by_0)\mid (ax+by), \] 其中 $x,y$ 是任何整数. 即
\[\min\{ax+by\mid ax+by>0, x,y\in\mathbb{Z}, a^2+b^2>0\}\mid(ax+by)\]