Existe x de D que cumple p(x).