theorem :: MCART_1:82

canceled;