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