RISC JKU
Multiple Conjunction

(MC) [Graphics:indexgr157.gif]

with no assumptions.

We prove (MC) by natural deduction.