引理 III