引理 VII