Pelo resultado anterior, basta verificarmos (usando indução) para as fórmulas com quantificadores.