interpolation theorem of propositional logic

If alpha |= beta, then there is some gamma all of whose sentence
symbols occur in both alpha and beta and such that alpha |= gamma |=
beta.

.