theorem :: MCART_1:28

canceled;