引理 II