theorem :: MCART_1:11

canceled;