Theorem jaod

Deduction disjoining the antecedents of two implications. (Contributed by NM, 18-Aug-1994.)

Hypotheses
jaod.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
jaod.2
\( \vdash \varphi \rightarrow \theta \rightarrow \chi \)
Conclusion
\( \vdash \varphi \rightarrow \psi \vee \theta \rightarrow \chi \)
Proof
jaod.1
l1
com12 _
jaod.2
com12 _
jaoi l1 _
com12 _