Divisibility of Elements in Geometric Sequence of Integers

Theorem
Let $Q_n = \left\langle{a_j}\right\rangle_{0 \mathop \le j \mathop \le n}$ be a geometric progression of integers.

Let $j \ne k$.

Then:
 * $\left({\exists j \in \left\{{0, 1, \ldots, n - 1}\right\}: a_j \mathop \backslash a_{j + 1} }\right) \iff \left({\forall j, k \in \left\{{0, 1, \ldots, n}\right\}, j < k: a_j \mathop \backslash a_k}\right)$

where $\backslash$ denotes integer divisibility.

That is:
 * One term of a geometric progression of integers is the divisor of the next term


 * All terms are divisors of all later terms.

Proof
Let $a_j \mathop \backslash a_{j + 1}$ for some $j \in \left\{{0, 1, \ldots, n - 1}\right\}$.

Then by definition of integer divisibility:
 * $\exists r \in \Z: r a_j = a_{j + 1}$

Thus the common ratio of $Q_n$ is $r$.

So by definition of geometric progression:
 * $\forall j, k \in \left\{{0, 1, \ldots, n}\right\}, j < k: r^{k - j} a_j = a_k$

and so $a_j \mathop \backslash a_k$.

The converse is trivial.