这里我就提供一下：塞瓦韦斯特定理
已知a，b是大于1 的正整数，且gcd(a,b)=1;使不定方程 ax+by=C 无负整数的最大整数解 C=a*b-a-b
至于怎末证明本人表示不太会，推荐大佬的给你们看看 https://www.cnblogs.com/xxzh/p/9178564.html
NOIP2017 提高组自测 小凯的疑惑
原文：https://www.cnblogs.com/sj-gank/p/11454433.html
