theorem :: MCART_1:8

canceled;