theorem :: COMPOS_1:11

canceled;