theorem RecSub: :: MOEBIUS2:23

ReciPrime is subsequence of invNAT