数论--扩展GCD