求$x$ 在$\bmod 2^{32}$意义下的逆元：

unsigned mulinv(unsigned n) {
	unsigned x=n;
	for(int i=0;i<5;i++)x*=2-n*x;
	return x;
} 

这个为什么是对的？