数论基础-最大公因数性质