theorem :: COMPOS_1:30

canceled;