Try mod7. a must be either 0 mod 7 or +/-3 mod7.
I did , advanced a little, but still did not prove the thing.
Maybe you will...
blackjack
flooble's webmaster puzzle