theorem :: MCART_1:7

canceled;