裴蜀定理以及各种推论 | 模意义下倍数覆盖

裴蜀定理：\(an+bm\ (n,m\in \mathbb{Z})\) 覆盖了所有 \(\gcd(a,b)\) 的倍数。

模意义下裴蜀定理：\(an\bmod p\ (n\in \mathbb{Z})\) 覆盖了所有 \(\gcd(a,p)\) 的倍数。

推论：\(an+bm\bmod p\ (n,m\in\mathbb{Z})\) 覆盖了所有 \(\gcd(a,b,p)\) 的倍数。类推。