theorem :: COMSEQ_2:40

canceled;