theorem :: MCART_1:55

canceled;