theorem :: MCART_1:46

canceled;