Lembre que se $p\in\mathbb P$ e $\phi$ uma fórmula. Entao existe $q\leq p $ tal que $q\vDash \phi$ ou $q\vDash \neg\phi$. Alem disso também lembre que $1\vDash \phi$ se e somente se $D=\{q\in\mathbb P : q\vDash \phi \}$ é denso abaixo de $1$.