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.