7k \equiv 1 \pmod{13}