欧几里得算法，扩展欧几里德算法，素数判定