歐幾里得引理

如果一個正整數整除另外兩個正整數的乘積，第一個整數與第二個整數互質，那麼第一個整數整除第三個整數。

可以這樣表達這個引理：

\[
\text{如果 } a \mid bc \text{ 且 } \gcd(a,b) = 1 \text{，那麼 } a \mid c。
\]