 Proof of Löb’s theorem:. Suppose that \(\PA \vdash \Prov(\ulcorner A\urcorner ) \rightarrow A\); we need to show that \(\PA \vdash A\). By the diagonalization lemma, there is a formula \(B\) such that