Twenty-five years ago, W. M. Snyder extended
the notion of a repunit Rn to one in which for some positive
integer b, Rn( b) has a b-adic expansion consisting of only
ones. He then applied algebraic number theory in order to
determine the pairs of integers under which Rn( b) has a prime
divisor congruent to 1 modulo n. In this paper, we show how
Snyder’s theorem follows from existing theory pertaining to
the Lucas sequences.