lean_workbook_plus_42100

Prove that $n^5\equiv n\mod 10$ for all positive integers n. In other words, prove that $n^5$ has the same units digit as $n$ for all positive integers n.