用欧几里得验证是否满足互素条件