theorem :: SEQ_1:28

canceled;