theorem :: MCART_1:57

canceled;