INFO:
详细描述欧几里得算法(附证明