reworked MDM cantor rgp07 as infinitude of primes