Tautologie/Aussage/Ableitung/Variablenbeschränkung/Aufgabe

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