$b\mid a\ \ \ (a,b<2^{32})$当且仅当：

$(\dfrac{a}{b}\bmod2^{32}) \le \left\lfloor\dfrac{2^{32}}{b}\right \rfloor$

这个是怎么证的？