exgcd(扩展欧几里得)求同余式