theorem :: COMPOS_1:1

canceled;