theorem :: MCART_1:44

canceled;