\begin{definition}[Definition:Riesel Number]
Let $k$ be an odd positive integer.
Then $k$ is a '''Riesel number''' {{iff}}:
:For all positive integers $n$, the number $k \, 2^n - 1$ is composite.
\end{definition}