Es sei α {\displaystyle {}\alpha } eine ableitbare Tautologie. Zeige, dass es eine Ableitung für α {\displaystyle {}\alpha } gibt, bei der in jedem Ableitungsschritt nur Aussagenvariablen auftreten, die in α {\displaystyle {}\alpha } vorkommen.