Since every finite subset of this new theory is satisfiable by a sufficiently large finite model of T, or by any infinite model, the entire extended theory is satisfiable.
Так як кожна кінцева підмножина цієї нової теорії здійсненна за допомогою досить великої кінцевої моделі Т або будь-якої нескінченної моделі, то вся розширена теорія здійсненна.