Let N = pk# be the k-th primorial. We prove an exact “pre-sieving” property: for everyprime p > pk, the complementary integer N −p is automatically coprime to every prime q ≤ pk.Equivalently, primorial complements eliminate all local obstructions coming from primes ≤ pk.We then develop a rigorous symmetry principle for sifted sets under the involution x → N−x.
Michael A. Ross (Fri,) studied this question.