The abc conjecture and non-Wieferich primes in arithmetic progressions

Silverman proved that, if one assumes the abc conjecture, then there are non-Wieferich primes for base a for all a⩾2. We show that for any a⩾2 and any fixed k⩾2, there are primes p⩽x such that and , under the assumption of the abc conjecture.