theorem :: MOEBIUS3:27

Reci-seq1 = (rseq (0,1,1,(- (1 / 2)))) + (- (rseq (0,1,1,(1 / 2)))) by SEQ_1:7, Tele2;