简单证明辗转相除法的原理