ReciPrime is subsequence of invNAT