theorem :: COMPOS_1:13

canceled;