“…Letting r = n/ϕ(b), we observe that as n/r and n must be even, k must be odd; in addition, the maximum p-adic value of an atom is k + (k + 1) − 1 = 2k. Letting s be a prime in [n/r − 1] and h be a prime in [2], we can let x = (p 2k s k−1−(r−1)n/r ) k−1 (p 2k h 2n 2 +1 ); as (p 2k s k−1−(r−1)n/r ) and p 2k have no factors of the form p k w where w ∈ [1] and w is not divisible by p (all elements of the monoid of padic value k must be of this form, and if an element of p-adic value 2k can be factored in the monoid it must be expressible as the product of two elements of p-adic value k), they are all atoms so x can be written as the product of k atoms. However, x is also equal to (p k sh) 2k−1 (p k s (k−1)(k−1−(r−1)n/r)−(2k−1) h 2n 2 −2k+2 ); p k sh, being of minimal p-adic value, is clearly an atom.…”