theorem :: MCART_1:3

canceled;