k \equiv 0 (mod 7)