裴蜀定理：对于整数a, b，存在整数x, y使得 ax + by = gcd(a,b)

推论：方程 ax + by = c 有整数解 ⇔ gcd(a,b) 整除 c🎉️