theorem :: MCART_1:56

canceled;