Multiple Conjunction
(MC)
with no assumptions.
We prove (MC) by natural deduction.