高数极限的唯一性证明