数论-模运算，欧几里得，扩展欧几里得