引理 I