theorem :: MCART_1:6

canceled;