theorem :: COMPOS_1:14

canceled;