theorem :: MOEBIUS3:59
rseq (0,1,1,0) = invNAT