Theorem com35

Commutation of antecedents. Swap 3rd and 5th. Deduction associated with com24. Double deduction associated with com13. (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 \psi \rightarrow \tau \rightarrow \theta \rightarrow \chi \rightarrow \eta \)
Proof
com5.1
com34 _
com45 _
com34 _