theorem :: COMPOS_2:29

canceled;