Theorem jca2

Inference conjoining the consequents of two implications. (Contributed by Rodolfo Medina, 12-Oct-2010.)

Hypotheses
jca2.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
jca2.2
\( \vdash \psi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \wedge \theta \)
Proof
l0
jca2.1
jca2.2
a1i _
jcad l0 _