Combinatorial Proofs of Fermat's, Lucas's, and Wilson's Theorems. - Peter G. Anderson; Arthur T. Benjamin; Jeremy A. Rouse (Am. Math. Mon., 2005)