theorem :: COMPOS_0:2

canceled;