极限除法运算的证明