theorem :: COMSEQ_2:29

canceled;