theorem :: MCART_1:5

canceled;