 Since \(\Gamma \subseteq \Gamma''\), we have that \(M\) satisfies every member of \(\Gamma\). By Theorem 15, the restriction of \(M\) to the original language \(\LKe\) and \(s\) also satisfies every member of \(\Gamma\). Thus \(\Gamma\) is satisfiable. 