引理 IV