Let me be formal and write the formula
Euler's Formula: Let $a$ and $n$ be nonnegative integers with $a\geq n.$ Then $$n!=a^n-\binom{n}{1}(a-1)^n+\binom{n}{2}(a-2)^n-\binom{n}{3}(a-3)^n+ > \cdot\cdot\cdot+(-1)^n\binom{n}{n}(a-n)^n$$
I've got this formula from the thesis "SELECTED PROOFS OF FERMAT'S LITTLE THEOREM AND WILSON'S THEOREM" by CAROLINE LAROCHE TURNAGE
The author scribbled a combinatorial proof. She also wrote that Euler originally proved this formula by induction. I was curious about that and I've tried a lot to prove the formula by induction, however I couldn't succeed. Here is my question: Is there anyone who could show me Euler's proof of this formula? Also, I'd be very glad if you provided me with a reliable resource other than mine.