Theorem anim1d

Add a conjunct to right of antecedent and consequent in a deduction. (Contributed by NM, 3-Apr-1994.)

Hypothesis
anim1d.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
Conclusion
\( \vdash \varphi \rightarrow \psi \wedge \theta \rightarrow \chi \wedge \theta \)
Proof
l0
anim1d.1
idd
anim12d l0 _