Teórico de Completitud - Lógica Proposicional

Es también necesaria.

En el teórico aparece como suficience al principio ya que es muy fácil de demostrar.
Luego se termina demostrando sobre el final del capítulo que también es necesaria.