theorem :: MCART_1:1

canceled;