theorem :: MOEBIUS3:59

rseq (0,1,1,0) = invNAT