Given a pair (
Ut) and (
Vt) of Lucas sequences, Kimball and Webb
showed that
(mod
p2), if
p is a prime
whose rank
is maximal, that is to say,
is
p or
.
We extend their result replacing
p by a
composite integer
m of maximal rank, thereby providing a
generalization of a classical congruence of Leudesdorf.