Proposition 16.3. Assuming that:

• $T$ is complete and consistent

• $p\in S_n(T)$ is isolated