theorem :: MCART_1:29

canceled;