对于两个给定的非零正整数, 一定有最大公因数若a、b 为非零正整数輬輱必定整除a 和b; 輱是他们的公因数，又a、b 的公因数必定小于或等于a 和 b，若a、b 没有大于輱的公因数輬则他们的最大公因数便。
.
