theorem Core1: :: MOEBIUS3:64

rseq (0,1,1,0) = Reci-Sqf (#) Reci-TSq