Given a pair (
Ut) and (
Vt) of Lucas sequences,
an odd integer

,
and a prime

of maximal rank

,
i.e., such that

is
p or

,
we show that

.
This extends a result of Kimball and Webb, who
proved the case

.
Some further generalizations are also established.