The novelty of Proposition REF  lies in the explicit error term, the main asymptotic being well-known. The asymptotic is derived as a consequence of examining explicit estimates in [1]} and then applying a method of Erdös-Turan, as recorded in Montgomery's book [2]}.
