（转）欧几里德算法(辗转相除)证明