$6\mathrm{.}2$

$(12)$

Using the natural deduction rules, give a formal proof of:

SameSize Large $(c)vv$ Small$($c$)$