Proposition 1.4.10. The Lindenbaum-Tarski algebra of any theory in $\text{IPC}\setminus \{\to \}$ is a distributive lattice.