theorem :: MCART_1:71

canceled;