Already by a first glimpse on the elements of M(P) one can guess the kind of
reasoning necessary to prove this explicit form for the minimal set of primes.
However, in the case of the set 2N = {2n : n ∈ N0} consisting of the powers
of 2 Shallit [7] conjectured