theorem :: COMPOS_1:31

canceled;