Theorem C asserts that the set of integers with a given coefficient stopping time k is a set of arithmetic progressions , which has the immediate consequence that has the asymptotic density
which is given by Furthermore Theorem C asserts that the set differs from by a finite set, so that also has an asymptotic density which is the same as that of . Consequently, Theorem C implies the first part of Theorem A, that the set of all integers with stopping time at most k have an asymptotic density given by where Now the formula (2.16) can be used to prove the second part of Theorem A, and in fact to prove the stronger result that approaches 1 at an exponential rate as .