x^6=1 mod 7