数论杂记——裴蜀定理、拓展欧几里得