Elements of Geometric Sequence from One which Divide Later Elements

Theorem
Let $G_n = \left\langle{a_n}\right\rangle_{1 \mathop \le i \mathop \le n}$ be a geometric progression of integers.

Let $a_1 = 1$.

Let $m \in \Z_{> 0}$.

Then:
 * $\forall r \in \left\{{1, 2, \ldots, m}\right\}: a_k \mathop \backslash a_m$

where $\backslash$ denotes divisibility.

Proof
By Form of Geometric Progression of Integers from One, the general term of $G_n$ can be expressed as:
 * $a_j = q^{j - 1}$

for some $q \in \Z$.

Let $r \in \Z$ such that $1 \le r \le m$.

Then:
 * $a_r = q^{r - 1}$

But:
 * $a^{m - 1} = q^{r - 1} q^{r - m}$

Hence the result by definition of divisibility.