这是 rainboy 的代码：

int inv(int a) {
	return a == 1 ? 1 : (long long) inv(a - MD % a) * (MD / a + 1) % MD;
}

怎么证明呢？看着像扩欧。