:: deftheorem defines Basel-seq BASEL_1:def 6 :
Basel-seq = (rseq (0,1,1,0)) (#) (rseq (0,1,1,0));