Wolstenholme's Congruence for Lucas Sequences. - Emi Lycan; Vadim Ponomarenko; Juan Pablo Zendejas (Am. Math. Mon., 2025)