Template:TheoremIntro

Include this template to insert a complete row into a tableau proof at the point where an instance of the Rule of Theorem Introduction is to be invoked.