拓展欧几里德定律：
对于不完全为 0 的非负整数 a，b，gcd（a，b）表示 a，b 的最大公约数，必然对于不完全为 0 的非负整数 a，b，gcd（a，b）表示 a
阅读背景：
证明拓展欧几里德算法_ó
来源：互联网
分享到：
