theorem :: COMPOS_1:39

canceled;