theorem :: COMSEQ_2:23

canceled;