n*(n+1)/2 modulo 9