subformula property

1. redirect proof theory#subformula property

{{rcatsh|

{{R from subtopic}}

{{r to anchor}}

}}