導関数を用いて
m+nC2=mC2+mC1×nC1+nC2
を証明せよ。