theorem :: COMPOS_1:40

canceled;