theorem :: COMSEQ_2:27

canceled;