Demonstração similar ao item anterior, bastando fazer uso do critério de Tarski para garantir que as fórmulas existenciais estejam no submodelo.