用辗转相除法证明裴蜀定理