Esto es, en términos más formales de lógica simbólica, es un teorema con un enunciado involucrando el cuantificador existencial.