theorem :: MCART_1:27

canceled;