theorem :: COMPOS_1:15

canceled;