J. H. Silverman showed in 1988 that if the abc conjecture holds, then there exist infinitely many non-Wieferich primes.
Силвермен (Joseph H. Silverman) в 1988-м году показал, что если abc-гипотеза верна, то существует бесконечно много простых не-Вифериха.