Q16 Matemática  (IMO Longlists 1976)

Prove que existe um inteiro positivo $n$ tal que a representação decimal de $7^n$ contém um bloco de pelo menos $m$ zeros consecutivos, onde $m$ é qualquer inteiro positivo dado.