theorem :: MCART_1:4

canceled;