rt，求欧几里得算法的证明。