theorem :: COMPOS_1:16

canceled;