theorem :: SEQ_1:34

canceled;