Incorrect Answer.
They do play an important role in natural deduction.
That is, they are the kind of formula you need to prove as a "subgoal" if
you intend to use the proof rules 
i and
RAA. Please consult the format of these two proof rules in the text to
verify this.
Back to Question.
Next Question.