引理 V