Congruences involving binomial coefficients and Lucas sequences - Zhi-Wei Sun (2009)