Lo que pongo como adjunto(imagen) significa en particular, una forma de mostrar que una fórmula no es teorema. Que significa ser teorema?
Hola.
Un teorema, es una fórmula para la que se puede construir una derivación sin hipótesis que la tiene como conclusión.
Saludos.
FDO.