二重极限如何被证明