theorem :: MCART_1:2

canceled;