标签: 拓展欧几里得定理