定义

设 $a, b$ 是不全为 $0$ 的整数，对于任意整数 $x, y$ 满足 $gcd(a, b) | ax + by$，且存在 $x, y$ 使得 $gcd(a, b) = ax + by$。

一些推广

定理可逆且适用于多个整数。

可用例题

【模板】裴蜀定理