Zu einer Aussage α ∈ L V {\displaystyle {}\alpha \in L^{V}} und n ∈ N {\displaystyle {}n\in \mathbb {N} } bezeichne ¬ n α {\displaystyle {}\neg ^{n}\alpha } die n {\displaystyle {}n} -fache Negation von α {\displaystyle {}\alpha } . Zeige, dass ⊢ ¬ n α → ¬ m α {\displaystyle {}\vdash \neg ^{n}\alpha \rightarrow \neg ^{m}\alpha } genau dann gilt, wenn n − m {\displaystyle {}n-m} ein Vielfaches von 2 {\displaystyle {}2} ist.