Let be a set of formulae in a language and be a formula in If then Proof (NONEXAMINABLE) WLOG is a Theory and is a Sentence Since we have By Model Existence Lemma By the Deduction Theorem Add the lines