theorem :: MCART_1:25

canceled;