theorem :: COMSEQ_2:17

canceled;