Why does this recurrence generate primes?