Proofs of Fermat%27s little theorem