theorem :: COMPOS_1:25

canceled;