Consecutive primes which are widely digitally delicate
We show that for every positive integer $k$, there exist $k$ consecutive primes having the property that if any digit of any one of the primes, including any of the infinitely many leading zero digits, is changed, then that prime becomes composite.
\section{\@startsection {section}{1}{\z@}
{-30pt \@plus -1ex \@minus -.2ex}
{2.3ex \@plus.2ex}
{\normalfont\normalsize\bfseries\boldmath}}

\renewcommand\subsection{\@startsection{subsection}{2}{\z@}
{-3.25ex\@plus -1ex \@minus -.2ex}
{1.5ex \@plus .2ex}
{\normalfont\normalsize\bfseries\boldmath}}

\renewcommand{\@seccntformat}[1]{\csname the#1\endcsname. }

\makeatother

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{conjecture}{Conjecture}
\newtheorem{proposition}{Proposition}
\newtheorem{corollary}{Corollary}
\newtheorem{definition}{Definition}

\setlength{\footskip}{35pt}

\allowdisplaybreaks

\begin{document}

\begin{center}
{\Large \bf Consecutive primes}
\vskip 5pt
{\Large \bf which are widely digitally delicate}
\vskip 20pt
{\bf Michael Filaseta}\\
{\smallit Dept.~Mathematics, 
University of South Carolina, 
Columbia, SC 29208, USA}\\
{\tt filaseta@math.sc.edu}\\ 
\vskip 20pt
{\bf Jacob Juillerat}\\
{\smallit Dept.~Mathematics, 
University of South Carolina, 
Columbia, SC 29208, USA}\\
{\tt juillerj@email.sc.edu}\\ 
\end{center}

\vskip 5pt
\centerline{\phantom{\smallit Received: , Revised: , Accepted: , Published: }}

\vskip 12pt
\centerline{\textit{Dedicated to the fond memory of Ronald Graham}}

\vskip 15pt

\centerline{\bf Abstract}
\vskip 5pt\noindent
We show that for every positive integer $k$, there exist $k$ consecutive primes 
having the property that if any digit of any one of the primes, including any of the infinitely many
leading zero digits, is changed, then that prime becomes composite.



\pagestyle{myheadings} 
\thispagestyle{empty} 
\baselineskip=12.875pt 
\vskip 30pt

\section{Introduction}

In 1978, M.~S.~Klamkin \cite{klamkin} posed the following problem.
\vskip 5pt
\centerline{\parbox[t]{12cm}{\textit{Does there exist any prime number such that if any digit (in base $10$) is changed to any other digit, the resulting number is always composite?
}}}
\vskip 8pt\noindent
In addition to computations establishing the existence of such a prime, the published solutions in 1979 to this problem included a proof by P.~Erd\H{o}s \cite{Erd79} that there exist infinitely many such primes. 
Borrowing the terminology from J.~Hopper and P.~Pollack  \cite{hopperpollack}, we call such primes \textit{digitally delicate}.  
The first digitally delicate prime is $294001$. 
Thus, $294001$ is a prime and, for every $d \in \{ 0, 1, \ldots, 9 \}$, each of the numbers
\[
d\hspace{.1em}94001, \quad 2d4001, \quad 29d\hspace{.1em}001,  \quad 294d\hspace{.1em}01, \quad 2940d1, \quad 29400d
\]
is either equal to $294001$ or composite.   The proof provided by Erd\H{o}s consisted of creating a partial covering system of the integers (defined in the next section) followed by a sieve argument. 
In 2011, T.~Tao \cite{tao} showed by refining the sieve argument of Erd\H{o}s that a positive proportion (in terms of asymptotic density) of the primes are digitally delicate.  
In 2013, S.~Konyagin \cite{konyagin}
pointed out that a similar approach implies that a positive proportion of composite numbers $n$, coprime to $10$, satisfy the property that if any digit in the base $10$ 
representation of $n$ is changed, then the resulting number remains composite.   
For example, the number $n=212159$ satisfies this property. 
Thus, every number in the set \[\{d12159, 2d2159, 21d159, 212d59, 2121d9, 21215d: d\in\{0,1, 2, \dots,9\}\}\] is composite. 
Later, in 2016, J.~Hopper and P.~Pollack \cite{hopperpollack} resolved a question of Tao's on digitally delicate primes allowing for an arbitrary but fixed number of digit changes to the beginning and end of the prime.
All of these results and their proofs hold for numbers written in an arbitrary base $b$ rather than base $10$, though the proof provided by Erd\H{o}s \cite{Erd79} only addresses the argument in base $10$.

In 2020, the first author and J.~Southwick \cite{filsou} showed that a positive proportion of primes $p$, are \textit{widely digitally delicate}, which they define as having the property that 
if any digit of $p$, \textit{including any one of the infinitely many leading zeros of $p$}, is replaced by any other digit, then the resulting number is composite.  
The proof was specific to base $10$, though they elaborate on other bases for which the analogous argument produces a similar result, including for example base $31$; 
however, it is not even clear whether widely digitally delicate primes exist in every base.
Observe that the first digitally delicate prime, 294001, is not widely digitally delicate since 10294001 is prime. 
It is of some interest to note that even though a positive proportion of the primes are widely digitally delicate, no specific examples of widely digitally delicate primes are known. 
Later in 2020, the authors with J.~Southwick \cite{filjuisou} gave a related argument showing that there are infinitely many (not necessarily a positive proportion) of composite numbers $n$ in base $10$
such that when any digit is inserted in the decimal expansion of $n$, including between two of the infinitely many leading zeros of $n$ and to the right of the units digit of $n$, the number $n$ remains composite
(see also \cite{Fil10}).

In this paper, we show the following.

\begin{theorem}\label{maintheorem}
For every positive integer $k$, there exist $k$ consecutive primes all of which are widely digitally delicate.
\end{theorem}

Let $\mathcal P$ be a set of primes.  It is not difficult to see that 
if $\mathcal P$ has an asymptotic density of $1$ in the set of primes, then there exist $k$ consecutive primes in $\mathcal P$ for each $k \in \mathbb Z^{+}$.
On the other hand, for every $\varepsilon \in (0,1)$, there exists $\mathcal P$ having asymptotic density $1-\varepsilon$ in the set of primes such that 
there do not exist $k$ consecutive primes in $\mathcal P$ for $k$ sufficiently large (more precisely, for $k \ge 1/\varepsilon$). 
Thus, the prior results stated above are not sufficient to establish Theorem~\ref{maintheorem}.   
The main difficulty in using the prior methods to obtain Theorem~\ref{maintheorem} is in the application of sieve techniques in the prior work.  
We want to bypass the use of sieve techniques and instead give complete covering systems to show that there is an arithmetic progression containing infinitely many primes such that every
prime in the arithmetic progression is a widely digitally delicate prime.  This then gives an alternative proof of the result in \cite{filsou}.  After that, the main
driving force behind the proof of Theorem~\ref{maintheorem}, work of D.~Shiu \cite{shiu}, can be applied.  D.~Shiu \cite{shiu} showed that in any arithmetic
progression containing infinitely many primes (that is, $an+b$ with $\gcd(a,b) = 1$ and $a > 0$) there are arbitrarily long sequences of consecutive primes.  
Thus, once we establish through covering systems that such an arithmetic progression exists where every prime in the arithmetic progression is widely
digitally delicate, D.~Shiu's result immediately applies to finish the proof of Theorem~\ref{maintheorem}.   

Our main focus in this paper is on the proof of Theorem~\ref{maintheorem}.
However, in part, this paper is to emphasize that the remarkable work of Shiu \cite{shiu} provides for a nice application to a number of results 
established via covering systems.  One can also take these applications further by looking at the strengthening of Shiu's work by J.~Maynard \cite{maynard}.  
To illustrate the application of Shiu's work in other context, we give some further examples before closing this introduction. 

A Riesel number is a positive odd integer $k$ with the property that $k \cdot 2^{n}-1$ is composite for all positive integers $n$.
A Sierpi\'nski number is a positive odd integer $k$ with the property that $k \cdot 2^{n}+1$ is composite for all nonnegative integers $n$. 
The existence of such $k$ were established in \cite{riesel} and \cite{sierpinski}, respectively, 
though the former is a rather direct consequence of P.~Erd{\H o}s's work in \cite{pe} and the latter is a somewhat less direct application of this same work, 
an observation made by A.~Schinzel (cf.~\cite{FFK}).
A Brier number is a number $k$ which is simultaneously Riesel and Sierpi\'nski, named after Eric Brier who first considered them (cf.~\cite{FFK}).  
The smallest known Brier number, discovered by Christophe Clavier in 2014 (see \cite{sloantwo}) is
\[
3316923598096294713661.
\]
As is common with all these numbers, examples typically come from covering systems giving an arithmetic progression of examples.  
In particular, Clavier established that every number in the arithmetic progression
\[
3770214739596601257962594704110\,n + 
3316923598096294713661, \quad n \in \mathbb Z^{+} \cup \{ 0 \}
\]
is a Brier number.  Since the numbers $3770214739596601257962594704110$ and $3316923598096294713661$ are coprime, Shiu's theorem gives the following.

\begin{theorem}
For every positive integer $k$, there exist $k$ consecutive primes all of which are Brier numbers.
\end{theorem}

Observe that as an immediate consequence the same result holds if Brier numbers are replaced by Riesel or Sierpi\'nski numbers.  

As another less obvious result to apply Shiu's theorem to, we recall a result of R.~Graham \cite{graham} from 1964.  
He showed that there exist relatively prime positive integers $a$ and $b$ such that the recursive Fibonacci-like sequence
\begin{equation}\label{grahamrecursion}
u_{0} = a, \quad u_{1} = b, \quad \text{and} \quad u_{n+1} = u_{n} + u_{n-1} \quad \text{for integers $n \ge 1$},
\end{equation}
consists entirely of composite numbers.  
The known values for admissible $a$ and $b$ have decreased over the years through the work of
others including D.~Knuth \cite{knuth}, J.~W.~Nicol \cite{nicol} and M.~Vsemirnov \cite{vsemirnov}, the latter giving the smallest known such $a$ and $b$
(but notably the same number of digits as the $a$ and $b$ in \cite{nicol}).
The result has also been generalized to other recursions; see
A~Dubickas, A.~Novikas and J.~\v{S}iurys \cite{dns},
D.~Ismailescu, A.~Ko, C.~Lee and J.~Y.~Park \cite{iklp} and
I.~Lunev \cite{lunev}.
As the Graham result concludes with all $u_{i}$ being composite, the initial elements of the sequence, $a$ and $b$, are composite.  
However, there is still a sense in which one can apply Shiu's result.  To be precise, the smallest known example given by Vsemirnov is
done by taking
\[
a = 106276436867 \quad \text{and} \quad b = 35256392432.
\]
With $u_{j}$ defined as above, one can check that each $u_{j}$ is divisible by a prime from the set
\[
\mathcal P = \{ 2, 3, 5, 7, 11, 17, 19, 23, 31, 41, 47, 61, 107, 181, 541, 1103, 2521 \}.
\]
Setting
\[
N = \prod_{p \in \mathcal P} p = 1821895895860356790898731230,
\]
the value of $a$ and $b$ can be replaced by any integers $a$ and $b$ satisfying
\[
a \equiv 106276436867 {\hskip -4pt}\pmod{N} \quad \text{and} \quad
b \equiv 35256392432 {\hskip -4pt}\pmod{N}.
\]
As $\gcd(106276436867,N) = 31$ and $\gcd(35256392432,N) = 2$, these congruences are equivalent to taking
$a = 31 a'$ and $b = 2 b'$ where $a'$ and $b'$ are integers satisfying
\[
a' \equiv 3428272157 {\hskip -4pt}\pmod{58770835350334090028991330}
\]
and
\[
b' \equiv 17628196216 {\hskip -4pt}\pmod{910947947930178395449365615}.
\]
As a direct application of D.~Shiu's result, we have the following.

\begin{theorem}
For every $k \in \mathbb Z^{+}$, there are $k$ consecutive primes $p_{1}, p_{2}, \ldots, p_{k}$
and $k$ consecutive primes $q_{1}, q_{2}, \ldots, q_{k}$ such that for any $i \in \{ 1, 2, \ldots, k \}$, 
the numbers $a = 31 p_{i}$ and $b = 2 q_{i}$ satisfy 
$\gcd(a,b) = 1$ and have the property that 
the $u_{n}$ defined by \eqref{grahamrecursion}
are all composite.
\end{theorem}

\vskip 0pt \noindent
This latter result is not meant to be particularly significant but rather an indication that Shiu's work
does provide information in cases where covering systems are used to form composite numbers.  

Regarding open problems, 
given the recent excellent works surrounding the non-existence of covering systems of particular forms
(cf.~\cite{BBMST, BBMST2, hough, houghnielsen}),
the authors are not convinced that widely digitally delicate primes exist in every base.
Thus, a tantalizing question is whether they exist or whether a positive proportion of the primes
in every base are  widely digitally delicate.  
In the opposite direction, as noted in \cite{filsou}, Carl Pomerance has asked for an unconditional proof that
there exist infinitely many primes which are not digitally delicate or which are not widely digitally delicate.  
For other open problems in this direction, see the end of the introdutcions in \cite{filjuisou} and \cite{filsou}.

\section{The first steps of the argument}

As noted in the introduction, to prove Theorem~\ref{maintheorem}, 
the work of D.~Shiu \cite{shiu} implies that it suffices to obtain an arithmetic progression $An+B$,
with $A$ and $B$ relatively prime positive integers, such that every prime in the arithmetic progression 
is widely digitally delicate.  We will determine such an $A$ and $B$ by finding relatively prime
positive integers $A$ and $B$ satisfying property ($*$) given by
\vskip 5pt
\centerline{($*$){\ }\parbox[t]{11cm}{If $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$, then each number
in the set 
\[
\mathcal A_{d} = \big\{ An+B + d\cdot 10^{k}: n \in \mathbb Z^{+}, k \in \mathbb Z^{+} \cup \{ 0 \} \big\}
\]
is composite.}}
\vskip 8pt\noindent
As changing a digit of $An+B$, including any one of its infinitely many leading zero digits, corresponds to adding or subtracting
one of the numbers $1, 2, \ldots, 9$ from a digit of $An+B$, we see that relatively prime positive integers $A$ and $B$ 
satisfying property ($*$) also satisfy the property we want, that every prime in $An+B$ is widely digitally delicate.  

To find relatively prime positive integers $A$ and $B$ satisfying property ($*$), we make use of covering systems which we
define as follows.

\begin{definition}
A covering system (or covering) is a finite set of congruences 
\[
x \equiv a_{1} {\hskip -4pt}\pmod{m_{1}}, \quad x \equiv a_{2} {\hskip -4pt}\pmod{m_{2}}, \quad \ldots, \quad x \equiv a_{r} {\hskip -4pt}\pmod{m_{r}},
\]
where $r \in \mathbb Z^{+}$, each $a_{j} \in \mathbb Z$, and each $m_{j} \in \mathbb Z^{+}$, such that every integer
satisfies at least one congruence in the set of congruences.
\end{definition}

\noindent
In other contexts in the literature, further restrictions can be made on the $m_{j}$, so we emphasize here that we
want to allow for $m_{j} = 1$ and for repeated moduli (so that the $m_{j}$ are not necessarily distinct).  There will
be restrictions on the $m_{j}$ that will arise in the covering systems we build due to the approach we are using.  We
will see these as we proceed. 

For each $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$, we will create a separate covering system to show that the elements
of $\mathcal A_{d}$ in ($*$) are composite.  
Table~\ref{tablenumcong} indicates, for each $d$, the number of different congruences in the covering system corresponding to $d$. 

\begin{table}[!hbt]
\centering
\caption{Number of congruences for each covering}\label{tablenumcong}
\begin{minipage}{3 cm}
\centering
\begin{tabular}{|c|c|}
\hline
$d$ & \# cong. \\ 
\hline \hline
$-9$ & $232$ \\ \hline 
$-8$ & $441$ \\ \hline 
$-7$ & $1$ \\ \hline 
$-6$ & $257$ \\ \hline 
$-5$ & $268$ \\ \hline 
$-4$ & $1$ \\ \hline 
\end{tabular} 
\end{minipage}
\begin{minipage}{3 cm}
\centering
\begin{tabular}{|c|c|}
\hline
$d$ & \# cong. \\ 
\hline \hline
$-3$ & $739$ \\ \hline 
$-2$ & $289$ \\ \hline 
$-1$ & $1$ \\ \hline 
$1$ & $37$ \\ \hline 
$2$ & $1$ \\ \hline 
$3$ & $203$ \\ \hline 
\end{tabular} 
\end{minipage}
\begin{minipage}{3 cm}
\centering
\begin{tabular}{|c|c|}
\hline
$d$ & \# cong. \\ 
\hline \hline
$4$ & $26$ \\ \hline 
$5$ & $1$ \\ \hline 
$6$ & $19$ \\ \hline 
$7$ & $137$ \\ \hline 
$8$ & $1$ \\ \hline 
$9$ & $4$ \\ \hline 
\end{tabular} 
\end{minipage}
\end{table}

The integers we are covering for each $d$ are the exponents $k$ on $10$ in the definition of $\mathcal A_{d}$.
In other words, we will want to view each exponent $k$ as satisfying one of the congruences in our covering system for a given $\mathcal A_{d}$.  
In the end, the values of $A$ and $B$ will be determined by the congruences we choose for the covering systems as well as certain primes that
arise in our method.  

We clarify that the work on digitally delicate primes in prior work mentioned in the introduction used a partial covering of the integers $k$, 
that is a set of congruences where most but not all integers $k$ satisfy at least one of the congruences, 
together with a sieve argument.
The work in \cite{filsou} on widely digitally delicate primes used covering systems for $d \in \{ 1, 2, \ldots, 9 \}$ and the same approach
of partial coverings and sieves for $d \in \{ -9, -8, \ldots, -1 \}$.  
The work in \cite{filjuisou}, like we will use in this paper, made use of covering systems for all $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$.   
For \cite{filjuisou}, some of the covering systems could be handled rather easily by taking advantage of the fact that we were looking for
composite numbers satisfying a certain property rather than primes.  

Next, we explain more precisely how we create and take advantage of a covering system for a given fixed $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$.
We begin with a couple illustrative examples.
Table~\ref{tablenumcong} indicates that a number of the $d$ are handled with just one congruence.  
This is accomplished by taking 
\[
A \equiv 0 {\hskip -5pt}\pmod{3} 
\qquad \text{and} \qquad
B \equiv 1 {\hskip -5pt}\pmod{3}.
\]
Observe that each element of $\mathcal A_{d}$ in ($*$) is divisible by $3$ whenever $d \equiv 2 \pmod{3}$.  
Thus, since $A$ and $B$ are positive, as long as we also have $B > 3$, the elements of $\mathcal A_{d}$ for such $d$ are all composite, which is our goal.  
Note the crucial role of the order of $10$ modulo the prime $3$.  The order is $1$, and the covering system for each of these $d$ is simply $k \equiv 0 \pmod{1}$.  
Every integer satisfies this congruence, so it is a covering system. 
The modulus corresponds to the order of $10$ modulo $3$.  Note also that we cannot use the prime $3$ in an analogous way to cover another digit $d$
because the choices for $A$ and $B$, and hence the congruences on $A$ and $B$ above, are to be independent of $d$.  
For example, if $d = 4$, then $An+B + d\cdot 10^{k} \equiv 1 + 4 \equiv 2 \pmod{3}$ and, hence, $An+B + d\cdot 10^{k}$ will not be divisible by $3$.

As a second illustration, we see from Table~\ref{tablenumcong} that we handle the digit $d = 9$ with $4$ congruences.  The congruences for $d = 9$ are
\[
k \equiv 0 {\hskip -5pt}\pmod{2}, \quad \ 
k \equiv 3 {\hskip -5pt}\pmod{4}, \quad \ 
k \equiv 1 {\hskip -5pt}\pmod{8}, \quad \ 
k \equiv 5 {\hskip -5pt}\pmod{8}.
\]
One easily checks that this is a covering system, that is that every integer $k$ satisfies one of these congruences.  To take advantage of this covering system, 
we choose a different prime $p$ for each congruence with $10$ having order modulo $p$ equal to the modulus.  We used
the prime $11$ with $10$ of order $2$,
the prime $101$ with $10$ of order $4$,
the prime $73$ with $10$ of order $8$, and
the prime $137$ with $10$ of order $8$.
We take $A$ divisible by each of these primes.  For ($*$), with $d = 9$, we want $An+B + 9 \cdot 10^{k}$ composite.  
For $k \equiv 0 \pmod{2}$, we accomplish this by taking $B \equiv 2 \pmod{11}$ and $B > 11$ since then $An+B + 9 \cdot 10^{k} \equiv B + 9 \equiv 0 \pmod{11}$.
For $k \equiv 3 \pmod{4}$, we accomplish this by taking $B \equiv 90 \pmod{101}$ and $B > 101$ since then $An+B + 9 \cdot 10^{k} \equiv 90 + 9 \cdot 10^{3} \equiv 9090 \equiv 0 \pmod{101}$. 
Similarly, for $k \equiv 1 \pmod{8}$ and $B \equiv 56 \pmod{73}$, we obtain  $An+B + 9 \cdot 10^{k} \equiv 0 \pmod{73}$; 
and for $k \equiv 5 \pmod{8}$ and $B \equiv 90 \pmod{137}$, we obtain  $An+B + 9 \cdot 10^{k} \equiv 0 \pmod{137}$. 
Thus, taking $B > 137$, we see that ($*$) holds with $d = 9$.  

Of some significance to our explanations later, we note that we could have interchanged the roles of the primes $73$ and $137$ since $10$ has the same order for each of these primes. 
In other words, we could associate $137$ with the congruence $k \equiv 1 \pmod{8}$ above and associate $73$ with the congruence $k \equiv 5 \pmod{8}$.  
Then for $k \equiv 1 \pmod{8}$ and $B \equiv 47 \pmod{137}$, we would have $An+B + 9 \cdot 10^{k} \equiv 0 \pmod{137}$; and 
for $k \equiv 5 \pmod{8}$ and $B \equiv 17 \pmod{73}$, we would have $An+B + 9 \cdot 10^{k} \equiv 0 \pmod{73}$.  
In general, in our construction of widely digitally delicate primes, we want each congruence 
$k \equiv a \pmod{m}$ in a covering system associated with a prime $p$ for which the order of $10$ modulo $p$ is $m$, 
but how we choose the ordering of those primes (which prime goes to which congruence) for a fixed modulus $m$ is irrelevant. 

For each $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$, 
we determine a covering system of congruences for $k$, 
where each modulus $m$ corresponds to the order of $10$ modulo some prime $p$.  
This imposes a condition on $A$, namely that $A$ is divisible by each of these primes $p$.
Fixing $d$, a congruence from our covering system $k \equiv a \pmod{m}$, and a corresponding prime $p$ with $10$ having order $m$ modulo $p$, 
we determine $B$ such that $A n + B + d\cdot 10^{k} \equiv B + d\cdot 10^{a} \equiv 0 \pmod{p}$.  
Note that the values of $d$, $a$ and $p$ dictate the congruence condition for $B$ modulo $p$.
Each prime $p$ will correspond to a unique congruence condition $B \equiv - d\cdot 10^{a}  \pmod{p}$, 
so the Chinese Remainder Theorem implies the existence of a $B \in \mathbb Z^{+}$ simultaneously satisfying all 
the congruence conditions modulo primes on $B$.
As long as $B$ is large enough, then the condition ($*$) will hold. 

To make sure that there is a prime of the form $An+B$, we will want $\gcd(A,B) = 1$.  
For $k \equiv a \pmod{m}$ and a corresponding prime $p$ as above, 
 we will have $A$ divisible by $p$ and
$B \equiv - d\cdot 10^{a} \pmod{p}$.
Since $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$, if $p \ge 11$, then we see that $p \nmid B$. 
We will not be using the primes $p \in \{ 2,5 \}$ as $10$ does not have an order modulo these primes. 
We have already seen that we are using the prime $p = 3$ for $d \equiv 2 \pmod{3}$, so this ensures that $3 \nmid B$. 
We will use $p = 7$ for $d \in \{-9, -8, -6, -5, -3, 3, 4 \}$, which then implies $7 \nmid B$.
Therefore, the condition $\gcd(A,B) = 1$ will hold.

Recall that we used the same congruence and corresponding prime in our covering system for each $d \equiv 2 \pmod{3}$.  
There is no obstacle to repeating a congruence for different $d$ if the corresponding prime, having $10$ of order the modulus, is different.  
But in the case of $d \equiv 2 \pmod{3}$, the same prime $3$ was used for different $d$.  To illustrate how we can repeat the use of a prime, 
we return to how we used the prime $p = 11$ above for $d = 9$.  We ended up with $A \equiv 0 \pmod{11}$ and $B \equiv 2 \pmod{11}$.  
In order for us to take advantage of the prime $p = 11$ for $d$, we therefore want 
$A n + B + d\cdot 10^{k} \equiv 2 + d\cdot 10^{k} \equiv 0 \pmod{11}$.  
It is easy to check that this holds for $(d,k) \in \{ (-9,1), (-2,0), (2,1), (9,0) \}$.  
The case $(d,k)  = (9,0)$ is from our example with $d = 9$ above.
The case $(d,k)  = (2,1)$ does not serve a purpose for us as $d = 2$ was covered by our earlier example using the prime $3$ for all $d \equiv 2 \pmod{3}$. 
The cases where $(d,k) \in \{ (-9,1), (-2,0) \}$ are significant, and we make use of congruences modulo $11$ in the covering systems for $d = -9$ and $d = -2$. 
Thus, we are able to repeat the use of some primes for different values of $d$.  
However, this is not the case for most primes we used.   A complete list of the primes which we were able to use for more than one value of $d$ 
is given in Table~\ref{tablerepeatprimes}, together with the list of corresponding $d$'s.  The function $\rho(m,p)$ in this table will be explained in the next section.

\begin{table}[!hbt]
\centering
\caption{Primes used for more than one digit $d$}\label{tablerepeatprimes}
\begin{minipage}{7 cm}
\centering
\begin{tabular}{|c|c|c|}
\hline
prime & $d$'s & $\rho(m,p)$ \\ 
\hline \hline
$3$ & $-7, -4, -1, 2, 5, 8$ & $1$ \\ \hline
$7$ & $-9, -8, -6, -5, -3, 3, 4$ & $1$ \\ \hline
$11$ & $-9, -2, 9$ & $1$ \\ \hline
$13$ & $-9, -3, 3, 4$ & $2$ \\ \hline
$17$ & $-8, -6, -3, -2, 7$ & $1$ \\ \hline
$19$ & $-6, 4$ & $1$ \\ \hline
$23$ & $-9, -8, -6, -3, 3, 7$ & $1$ \\ \hline
$29$ & $-9, -8, -6, 1, 3$ & $1$ \\ \hline
$31$ & $-8, -2, 6$ & $1$ \\ \hline
$37$ & $3, 4$ & $1$ \\ \hline
$43$ & $-8, -3, 1$ & $1$ \\ \hline
$53$ & $-8, -5, 3$ & $1$ \\ \hline
$61$ & $-6, 3, 6$ & $1$ \\ \hline
$67$ & $-9, 7$ & $1$ \\ \hline
$79$ & $-9, -5$ & $2$ \\ \hline
$89$ & $-6, -3, 7$ & $1$ \\ \hline
$103$ & $-9, -8, -3$ & $1$ \\ \hline
\end{tabular} 
\end{minipage}
\begin{minipage}{5.5 cm}
\centering
\vspace{-.43cm}
\begin{tabular}{|c|c|c|}
\hline
prime & $d$'s & $\rho(m,p)$ \\ 
\hline \hline
$199$ & $-6, -3, 7$ & $1$ \\ \hline
$211$ & $-6, 6$ & $1$ \\ \hline
$241$ & $-6, 6$ & $2$ \\ \hline
$331$ & $-8, 7$ & $1$ \\ \hline
$353$ & $-6, 7$ & $1$ \\ \hline
$409$ & $-8, -3$ & $1$ \\ \hline
$449$ & $-9, 7$ & $2$ \\ \hline
$2161$ & $-6, 6$ & $3$ \\ \hline
$3541$ & $-6, 6$ & $1$ \\ \hline
$9091$ & $-6, 6$ & $1$ \\ \hline
$27961$ & $-6, 6$ & $2$ \\ \hline
$1676321$ & $-6, 6$ & $1$ \\ \hline
$3762091$ & $-6, 6$ & $2$ \\ \hline
$4188901$ & $-6, 6$ & $2$ \\ \hline
$39526741$ & $-6, 6$ & $3$ \\ \hline
$5964848081$ & $-6, 6$ & $2$ \\ \hline
\end{tabular} 
\end{minipage}
\end{table}

Recalling that the modulus in a covering system is equal to the order of $10$ modulo a prime $p$, 
the role of primes and the order of $10$ modulo those primes is significant in coming up with covering systems to deduce ($*$). 
A modulus $m$ can be used in a given covering system as many times as there are primes with $10$ of order $m$.  
Thus, for the covering system for $d = 9$, we saw the modulus $8$ being used twice as there are two primes 
with $10$ of order $8$, namely the primes $73$ and $137$.  
One can look at a list of primitive prime factors of $10^{k}-1$ such as in \cite{brill}, but we needed much more
extensive data than what is contained there.  
Our approach uses that the complete list of primes for which $10$ has a given order $m$ is the same as the list
of primes dividing $\Phi_{m}(10)$ and not dividing $m$ where $\Phi_{m}(x)$ is the $m$-th cyclotomic polynomial (cf.~\cite{brill, filjuisou, filsou}).
We used Magma V2.23-1 on a 2017 MacBook Pro to determine different primes dividing $\Phi_{m}(10)$.  
We did not always get a complete factorization but used that if the remaining unfactored part of $\Phi_{m}(10)$ is composite,
relatively prime to the factored part of $\Phi_{m}(10)$ and $m$, and not a prime power, 
then there must be at least two further distinct prime factors of $\Phi_{m}(10)$.
This allowed us then to determine a lower bound on the number of distinct primes of a given order $m$.  
Though we used most of these in our coverings, sometimes we found extra primes that we did not need to use.  

In total, we made use of $673$ different moduli $m$ and $2596$ different primes dividing $\Phi_{m}(10)$ for such $m$. 
Of the  $2596$ different primes, there are $590$ which came from $295$ composite numbers arising from an unfactored part of some $\Phi_{m}(10)$,
and there are $63$ other composite numbers for which only one prime factor of each of the composite numbers was used.
The largest explicit prime (not coming from the $295+63 = 358$ composite numbers) has $1700$ digits, arising from testing what was
initially a large unfactored part of $\Phi_{m}(10)$ for primality and determining it is a prime.
The largest of the $358$ composite numbers has $17234$ digits.  For obvious reasons, we will avoid listing
these primes and composites in this paper, though to help with verification of the results, we are providing the data
from our computations in \cite{Filweb}; more explicit tables can also be found in \cite{juillerat}.

Table~\ref{orderofprimes} in the appendix gives, for each of the $673$ different moduli $m$, 
the detailed information on the number of distinct primes we used with $10$ of order $m$, 
which we denote by $L(m)$.  Thus, $L(m)$ is a lower bound on the total number of distinct primes with $10$ of order $m$.  
Note that $L(m)$ is less than or equal to the number of distinct primes dividing $\Phi_{m}(10)$ but not dividing $m$.

For each $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$, the goal is to find a covering system so that ($*$) holds.  
We have already given the covering systems we obtained for $d \equiv 2 \pmod{3}$ and for $d = 9$.  
In the next section and the appendix, we elaborate on the covering systems for the remaining $d$.  
We also explain how the reader can verify the data showing these covering systems satisfy the conditions needed for ($*$).

\section{Finishing the argument}

To finish the argument, we need to present a covering system for each value of $d$ in $\{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$ 
as described in the previous section.  For the purposes of keeping the presentation of these covering systems manageable, 
for each $m$ listed in Table~\ref{orderofprimes}, 
we take the $L(m)$ primes we found with $10$ of order $m$ and order them in some way.  
Corresponding to the discussion concerning $d = 9$ and the primes $73$ and $137$, 
the particular ordering is not important to us (for example, increasing order would be fine).  Suppose the primes corresponding to $m$ are 
ordered in some way as $p_{1}, p_{2}, \ldots, p_{L(m)}$.   We define $\rho(p_{j},m) = j$.  
Thus, if $p_{j}$ is the $j$-th prime in our ordering of the primes with $10$ of order $m$, we have $\rho(p_{j},m) = j$. 
The particular values we used for $\rho(p_{j},m)$ is not important to the arguments.  So as to make the entries in 
Table~\ref{tablerepeatprimes} correct, the entries for $\rho(p,m)$ indicate the values we used for those primes.  
For example, Table~\ref{orderofprimes} indicates there are $2$ primes of order $6$.  One of them is $7$. 
Table~\ref{tablerepeatprimes} indicates then that $\rho(7,6) = 1$.  Thus, we put $7$ as the first of the $2$ primes
with $10$ of order $6$.  The other prime with $10$ of order $6$ is $13$, and as Table~\ref{tablerepeatprimes}
indicates we set $13$ as the second of the $2$ primes with $10$ of order $6$.

Tables~\ref{covforminus9}-\ref{covfor9} give the covering systems used for each $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$ with
$d \not\equiv 2 \pmod{3}$.  Rather than indicating the prime, which in some cases has thousands of digits, corresponding to each congruence 
$k \equiv a \pmod{m}$ listed, we simply wrote the value of $\rho(m,p)$.  As $m$ corresponds to the modulus used in the given congruence 
$k \equiv a \pmod{m}$ and the ordering of the primes is not significant to our arguments (any ordering will do), 
this is enough information to confirm the covering arguments.  

That said, the time consuming task of coming up with the $L(m)$ primes to order for each $m$ is nontrivial (at least at this point in time).  
So that this work does not need to be repeated, a complete list of the $L(m)$ primes for each $m$ is given in \cite{Filweb}.  
Further, the tables in the form of lists can be found there as well, with the third column in each case replaced by the prime we used
with $10$ of order the modulus of the congruence in the second column.  
In the way of clarity, recall that the primes were not explicitly computed in the case that the unfactored part of $\Phi_{m}(10)$ was
tested to be composite; instead the composite number is listed in place of both primes in \cite{Filweb}.

For the remainder of this section, we clarify how to verify the information in Tables~\ref{covforminus9}-\ref{covfor9}.  
We address both verification of the covering systems and the information on the primes as listed in \cite{Filweb}.

\subsection{Covering Verification.}

The most direct way to check that a system $\mathcal C$ of congruences
\[
x \equiv a_{1} {\hskip -5pt}\pmod{m_{1}}, \quad x \equiv a_{2} {\hskip -5pt}\pmod{m_{2}}, \quad \ldots, \quad x \equiv a_{s} {\hskip -5pt}\pmod{m_{s}}
\]
is a covering system is to set $\ell = \text{lcm}(m_{1}, m_{2}, \ldots, m_{s})$ and then to check if every integer in the interval $[0,\ell-1]$ satisfies
at least one congruence in $\mathcal C$.  If not, then $\mathcal C$  is not a covering system.  
If on the other hand, every integer in $[0,\ell-1]$ satisfies a congruence in $\mathcal C$, then $\mathcal C$ is a covering system.  To see the latter,
let $n$ be an arbitrary integer, and write $n = \ell q + r$ where $q$ and $r$ are integers with $0 \le r \le \ell-1$.  
Since $r \in [0,\ell-1]$ satisfies some $x \equiv a_{j} \pmod{m_{j}}$ and since $\ell \equiv 0 \pmod{m_{j}}$, we deduce for this same $j$ that
$n = \ell q + r \equiv a_{j} \pmod{m_{j}}$.  

The above is a satisfactory approach if $\ell$ is not too large. 
For the values of $d$ in $ \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$ with $d \not\equiv 2 \pmod{3}$, the least common multiple $\ell$ given by the congruences in 
Tables~\ref{covforminus9}-\ref{covfor9}
are listed in Table~\ref{lcmtable}.
The maximum prime divisor of $\ell$ is also listed in the fourth column of Table~\ref{lcmtable}. 
The value of $\ell$ can exceed $10^{12}$, so we found a more efficient way to test whether one of our systems $\mathcal C$ of congruences,
where $\ell$ is large, is a covering system.

\begin{table}[!hbt]
\centering
\caption{Least common multiple of the moduli for the coverings in each table}\label{lcmtable}
\begin{minipage}{6.6 cm}
\centering
\begin{tabular}{|c|c|c|c|}
\hline
$d$ & Table & $\ell$ & max $p$ \\ 
\hline \hline
$-9$ & $5$ & $14433138720$ & $31$ \\ \hline 
$-8$ & $6$ & $699847948800$ & $17$ \\ \hline 
$-6$ & $7$ & $1045044000$ & $29$ \\ \hline 
$-5$ & $8$ & $56216160$ & $13$ \\ \hline 
$-3$ & $9$ & $1486147703040$ & $19$ \\ \hline 
$-2$ & $10$ & $321253732800$ & $23$ \\ \hline 
 \end{tabular} 
\end{minipage}
\begin{minipage}{5.6 cm}
\centering
\begin{tabular}{|c|c|c|c|}
\hline
$d$ & Table & $\ell$ & max $p$ \\ 
\hline \hline
$1$ & $11$ & $5040$ & $7$ \\ \hline 
$3$ & $12$ & $133333200$ & $37$ \\ \hline 
$4$ & $13$ & $1296$ & $3$ \\ \hline 
$6$ &  $14$ & $360$ & $5$ \\ \hline 
$7$ &$15$ & $18295200$ & $11$ \\ \hline 
$9$ & $16$ & $8$ & $2$ \\ \hline 
\end{tabular} 
\end{minipage}
\end{table}

Suppose $\ell > 10^{6}$ in Table~\ref{lcmtable} and 
the corresponding collection of congruences coming from the table indicated in the second column is $\mathcal C$.  
Let $q$ be the largest prime divisor of $\ell$ as indicated in the fourth column. 
Let $w = 4 \cdot 3 \cdot 5 \cdot q$.  
This choice of $w$ was selected on the basis of some trial and error; 
other choices are certainly reasonable.
We do however want and have that $w$ divides $\ell$.  
Based on the comments above, we would like to know if every integer in the interval $[0,\ell-1]$ satisfies
at least one congruence in $\mathcal C$. 
The basic idea is to take each $u \in [0,w-1]$ and to consider the integers that are congruent to $u$ modulo $w$ in $[0,\ell-1]$.  
One advantage of doing this is that not every congruence in $\mathcal C$ needs to be considered.  
For example, take $d = -3$.  Then Table~\ref{lcmtable} indicates $\ell = 1486147703040$ 
and Table~\ref{tablenumcong} indicates the number of congruences in $\mathcal C$ is $739$.  
From Table~\ref{covforminus3}, the first few of the congruences in $\mathcal C$ are
\[
k \equiv 4 {\hskip -5pt}\pmod{6}, \quad
k \equiv 5 {\hskip -5pt}\pmod{6}, \quad
k \equiv 0 {\hskip -5pt}\pmod{16}, \quad 
k \equiv 11 {\hskip -5pt}\pmod{21}.
\]
Here, $w = 4 \cdot 3 \cdot 5 \cdot 19 = 1140$.  
If we take $u = 0$, then only the third of these congruences can be satisfied by an integer $k$ congruent to $u$ modulo $w$,
as each of the other ones requires $k \not\equiv 0 \pmod{3}$ whereas $k \equiv u \pmod{w}$ requires $k \equiv 0 \pmod{3}$.  
Let $\mathcal C'$ be the congruences in $\mathcal C$ which are consistent with $k \equiv u \pmod{w}$.  
One can determine these congruences by using that there exist integers satisfying both 
$k \equiv a \pmod{m}$ and $k \equiv u \pmod{w}$ if and only if $a \equiv u \pmod{\gcd(m,w)}$. 

Observe that, with $u \in [0,w-1]$ fixed, we would like to know if each integer $v$ of the form
\begin{equation}\label{vequat}
v = w t + u, \quad \text{ with } 0 \le t \le (\ell/w)-1
\end{equation}
satisfies at least one congruence in $\mathcal C'$. 
The main advantage of this approach is that, as we shall now see, not all $\ell/w$ values of $t$ need to be considered.
First, we note that if $\mathcal C'$ is the empty set, then the integers in \eqref{vequat} are not covered and therefore 
$\mathcal C$ is not a covering system.  
Suppose then that $|\mathcal C'| \ge 1$.
Let $\ell'$ denote the least common multiple of the moduli in $\mathcal C'$.  
Let $\delta = \gcd(w,\ell')$. 
We claim that we need only consider $v = w t + u$ where $0 \le t \le (\ell'/\delta)-1$.  
To see this, suppose we know that every $v = w t + u$ with $0 \le t \le (\ell'/\delta)-1$ satisfies one of the congruences in $\mathcal C'$.  
There are integers $q$, $q'$, $r$ and $r'$ satisfying 
$t = \ell' q' + r'$ where $0 \le r' \le \ell'-1$ and $r' = (\ell'/\delta) q + r$, where $0 \le r \le (\ell'/\delta)-1$.  
Then 
\[
v = w t + u = w \ell' q' + w r' + u = w \ell' q' + (w/\delta) \ell' q + w r + u.
\]
The definition of $\delta$ implies that $w/\delta \in \mathbb Z$.  
As each modulus in $\mathcal C'$ divides $\ell'$, we see that $v$ satisfies a congruence in $\mathcal C'$ if and only if
$w r + u$ does.  Here, $w$ and $u$ are fixed and $0 \le r \le (\ell'/\delta)-1$. 
Thus, we see that for each $u \in [0,w-1]$, we can restrict to determining whether $v$ in \eqref{vequat} satisfies a congruence
in $\mathcal C'$ for $0 \le t \le (\ell'/\delta)-1$.  
Returning to the example of $d = -3$, $\ell = 1486147703040$ and $|\mathcal C| = 739$, 
where $w = 1140$ and we considered $u = 0$, one can check that $|\mathcal C'| = 19$, 
$\ell' = 12640320$, $\delta = w$ and $\ell'/\delta = 11088$.  Thus, what started out as ominously checking whether over $10^{12}$ integers
each satisfy at least one of $739$ different congruences is reduced in the case of $u = 0$ to looking at whether $11088$ integers
each satisfy at least one of $19$ different congruences. 
As $u \in [0,w-1]$ varies, the number of computations does as well.  An extreme case for $d = -3$ occurs for $u = 75$, where
we get $\ell'/\delta = 14325696$ and $|\mathcal C'| = 47$.  As $d$ and $u$ vary, though, this computation becomes manageable for 
determining that we have covering systems for each $d$ in $ \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$ with $d \not\equiv 2 \pmod{3}$
and $\ell > 10^{6}$.  On a 2017 MacBook Plus running Maple 2019 with a 2.3 GHz Dual-Core Intel Core i5 processor, the total cpu time for
determining the systems of congruences in Tables~\ref{covforminus9}-\ref{covfor9} are all covering systems took approximately
$2.9$ cpu hours, with almost all of this time spent on the case $d = -3$ which took $2.7$ hours.  The largest value of $\ell'/\delta$
encountered was $\ell'/\delta = 14325696$ which occurred precisely for $d = -3$ and $u \in \{ 75, 303, 531, 759, 987 \}$.

\subsection{Data check.}

The most cumbersome task for us was the determination of the data in Table~\ref{orderofprimes}.
As noted earlier, although the reader can check the data there directly, we have made the list of primes corresponding to each $m$
available through \cite{Filweb}.   With the list of such primes for each $m$, it is still worth indicating how the data can be checked. 
Recall, in particular, the list of primes is not explicit in the case that there was an unfactored part of $\Phi_{m}(10)$.  
In this subsection, we elaborate on what checks should be and were done.
All computations below were done with the MacBook Pro mentioned at the end of the last subsection and using Magma V2.23-1.

For each modulus $m$ used in our constructions (listed in Table~\ref{orderofprimes}), we made a list of primes
$p_{1}, p_{2}, \ldots, p_{s}$, written in increasing order, together with up to two additional primes $q_{1}$ and $q_{2}$, 
included after $p_{s}$ on the list but not written explicitly (as we will discuss).  Each prime came from a factorization or
partial factorization of $\Phi_{m}(10)$.  
The primes $p_{1}, p_{2}, \ldots, p_{s}$ are the distinct primes appearing in the factored part of $\Phi_{m}(10)$, 
and as noted earlier do not include primes dividing $m$.
In some cases, a complete factorization was found for $\Phi_{m}(10)$.  
For such $m$, there are no additional primes $q_{1}$ and $q_{2}$.
If $\Phi_{m}(10)$ had an unfactored part $Q > 1$ (already tested to be composite), then we checked that
$Q$ is relatively prime to $m p_{1} p_{2} \cdots p_{s}$ and that $Q$ is not of the form $N^{k}$ with
$N \in \mathbb Z^{+}$ and $k$ an integer greater than or equal to $2$.  
As this was always the case for the $Q$ tested, we knew each such $Q$ had two distinct prime factors $q_{1}$ and $q_{2}$.
We deduce that there are at least two more primes $q_{j}$, $j \in \{ 1,2 \}$, different from $p_{1}, p_{2}, \ldots, p_{s}$ for which
$10$ has order $m$ modulo $q_{j}$.  As the data only contains the primes used in the covering systems, 
we only included the primes $q_{1}$ and $q_{2}$ that were used.  Thus, despite $Q$ having at least two distinct prime divisors, 
we may have listed anywhere from $0$ to $2$ of them.  The question arises, however, as to how one can list primes that we do not know;
there are primes $q_{1}$ and $q_{2}$ dividing $Q$, but we were unable to (or chose not to) factor $Q$ to determine them explicitly. 
Instead of listing $q_{1}$ and $q_{2}$ then, we opted to list $Q$.  Thus, for each $m$ we associated a list of one of the forms
\[
[p_{1}, p_{2}, \ldots, p_{s}], \quad [p_{1}, p_{2}, \ldots, p_{s},Q], \quad [p_{1}, p_{2}, \ldots, p_{s},Q,Q],
\]
depending on whether $Q$ either did not exist or we used no prime factor of $Q$, we used one prime factor of $Q$, or we used two prime factors of $Q$, respectively.
It is possible that $s=0$; for example, the lists associated with the moduli $2888$ and $2976$ each take the middle form with no $p_{j}$ and one composite number.

For a fixed $m$, given such a list, say from \cite{Filweb}, one merely needs to check:

\begin{itemize}
\setlength\itemsep{-0.25em}
\item
Each element of the list divides $\Phi_{m}(10)$. 
\item
Each element of the list is relatively prime to $m$.
\item
There is at most one composite number, say $Q > 1$, in the list, which may appear at most twice.  The other numbers in the list are distinct primes.
\item
If the composite number $Q$ exists, then $\gcd(Q, p_{1} p_{2} \cdots p_{s}) = 1$. 
\item
If the composite number $Q$ exists twice, then $Q^{1/k} \not\in \mathbb Z^{+}$ for every integer $k \in [2, \log(Q)/\log(2)]$.
\end{itemize}

\noindent
The upper bond in the last item above is simply because $k > \log(Q)/\log(2)$ implies $1 < Q^{1/k} < 2$ and, hence, $Q^{1/k}$ is not an integer.
For each $m$, the value of $L(m)$ in Table~\ref{orderofprimes} is simply the number of elements in the list associated with $m$.

With the data from the tables in the Appendix, also available in \cite{Filweb} with the indicated primes $p_{1}, p_{2}, \ldots, p_{s}, q_{1}, q_{2}$ depending on $m$ as above, 
some further details need to be checked to fully justify the computations.
We verified that whenever $m$ is used as a modulus in a table, it was associated with one of the primes dividing $\Phi_{m}(10)$. 
Furthermore, for any given $d \in \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$, the complete list of primes used as the congruences vary are distinct, 
noting that $q_{1}$ and $q_{2}$, for a given $m$, will be denoted by the same number $Q$ but represent two distinct prime divisors of $Q$.  
As $d$ varies, a given modulus $m$ and a prime $p$ dividing $\Phi_{m}(10)$ can be used more than once as indicated in Table~\ref{tablerepeatprimes}.  
To elaborate, suppose such an $m$ and $p$ is used for each $d \in \mathcal D \subseteq \{ -9, -8, \ldots, -1 \} \cup \{ 1, 2, \ldots, 9 \}$.
For each $d \in \mathcal D$, then, there corresponds a congruence $k \equiv a \pmod{m}$, where $a = a(d)$ will depend on $d$, as well as $m$ and $p$. 
As noted earlier, this is permissible if and only if the values of $d \cdot 10^{a(d)}$ are congruent modulo $p$ for all $d \in \mathcal D$.   
Thus, for each $p$ that occurs in more than one table, as in Table~\ref{tablerepeatprimes}, a check is done to verify the corresponding values of $d \cdot 10^{a(d)}$ 
are congruent modulo $p$.

The verification of the covering systems needed for Theorem~\ref{maintheorem} is complete, and the work of D.~Shiu \cite{shiu} now
implies the theorem.



2021-01-25T02:04:41.000
2101
2101.08898
en
https://arxiv.org/abs/2101.08898
We show that for every positive integer $k$, there exist $k$ consecutive primes having the property that if any digit of any one of the primes, including any of the infinitely many leading zero digits, is changed, then that prime becomes composite.
Number Theory (math.NT)
Consecutive primes which are widely digitally delicate
Qwen/Qwen-72B
1. YES
2. YES