A power of two modulo seven