theorem :: COMPOS_1:12

canceled;