Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension

Theorem
Let $T$ be a finitely satisfiable $\LL$-theory.

Then there exists a finitely satisfiable $\LL$-theory $T'$ which contains $T$ as a subset such that:
 * for all $\LL$-sentences $\phi$, either $\phi \in T'$ or $\neg \phi \in T'$.