An area-to-inv bijection between Dyck paths and 312-avoiding permutations.
Let be a prime, and let be the Fermat quotient of to base . The following curious congruence was conjectured by L. Skula and proved by A. Granville In this note we establish the above congruence by entirely elementary number theory arguments.