$数论其实没有那么复杂$
$先证2|a^3+a与a^3-a$
$显然a^3-a=a(a+1)(a-1)\equiv 0(mod~2)$
$同理a^3+a不管a奇偶性如何,它一定为偶数$
$下证,5|a^3+a或a^3-a 对任意a成立 ~①$
$当a\equiv 0,3,4(mod~5)时,显然5|a^3-a$
$当a\equiv 1(mod~5)时,a^3-a\equiv 0(mod~5)$
$当a\equiv 2(mod~5)时,a^3+a\equiv 0(mod~5)$
$故①成立,所以原命题得证$