lean_workbook_plus_8277

If none of the three numbers is divisible by $5$, prove that $a^3b - ab^3$ is divisible by $10$ by considering cases where $a$ and $b$ are congruent to $0$ modulo $5$, or congruent to $1$ and $4$, or congruent to $2$ and $3$ modulo $5$.