Πp ⊃ p
Das wäre etwa eine Regel die außer den urspr. Beweisen auch [i|I]ndukt.bew. zuließe.