Разве это не должно быть f(ABC) — f(AB)? Если нет, то почему в таком случае просто А?