Theorem com25

Commutation of antecedents. Swap 2nd and 5th. Deduction associated with com14. (Contributed by Jeff Hankins, 28-Jun-2009.)

Hypothesis
com5.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \rightarrow \theta \rightarrow \tau \rightarrow \eta \)
Conclusion
\( \vdash \varphi \rightarrow \tau \rightarrow \chi \rightarrow \theta \rightarrow \psi \rightarrow \eta \)
Proof
com5.1
com24 _
com45 _
com24 _