In 1980, Carl Pomerance and J. L. Selfridge proved D. J. Newman’s coprime mapping conjecture: If n is a positive integer and I is a set of n consecutive integers, then there is a bijection f :{1, 2, . . . , n}→ I such that gcd(i, f(i)) = 1 for 1 ≤ i ≤ n. The function f described in their theorem is called a coprime mapping. Around the same time, Roger Entringer conjectured that all trees are pr...