Number of form 28000...0007 is Divisible by 7

Theorem
Let $x$ be a natural number in the form:
 * $\sqbrk {28 \underbrace {000 \cdots 0}_n 7}_{10}$

Then $x$ is divisible by $7$.