Theorems in propositional logic