All Factors Divide Integer then Whole Divides Integer

Theorem
Let $S = \left({a_1, a_2, \ldots, a_r}\right\} \subseteq \Z$ be a finite subset of the integers.

Let $S$ be pairwise coprime.

Let:
 * $\forall j \in \left\{{1, 2, \ldots, r}\right\}: a_r \mathop \backslash b$

where $\backslash$ denotes divisibility.

Then:
 * $\displaystyle \prod_{j \mathop = 1}^r a_j \mathop \backslash b$

Proof
Proof by induction:

In the following, it is assumed at all times that $S = \left({a_1, a_2, \ldots, a_r}\right\} \subseteq \Z$ is pairwise coprime.

For all $r \in \N_{> 1}$, let $P \left({r}\right)$ be the proposition:
 * $\displaystyle \prod_{j \mathop = 1}^r a_j \mathop \backslash b$

Basis for the Induction
$P \left({2}\right)$ is the case:
 * $a_1 a_2 \mathop \backslash b$

By definition of divisibility:
 * $b = a_1 q_1 = a_2 q_2$

where $q_1, q_2 \in \Z$.

By Integer Combination of Coprime Integers:
 * $\exists x, y \in \Z: a_1 x + a_2 y = 1$

So:

and so $a_1 a_2 \mathop \backslash b$.

This is our basis for the induction.

Induction Hypothesis
Now we need to show that, if $P \left({k}\right)$ is true, where $k \ge 2$, then it logically follows that $P \left({k+1}\right)$ is true.

So this is our induction hypothesis:
 * $\displaystyle \prod_{j \mathop = 1}^k a_j \mathop \backslash b$

Then we need to show:
 * $\displaystyle \prod_{j \mathop = 1}^{k+1} a_j \mathop \backslash b$

Induction Step
This is our induction step:

By hypothesis:
 * $a_{k+1} \mathop \backslash b$

By Integer Coprime to all Factors is Coprime to Whole:
 * $\displaystyle a_{k+1} \perp \prod_{j \mathop = 1}^k a_j$

By the induction hypothesis:
 * $\displaystyle \prod_{j \mathop = 1}^k a_j \mathop \backslash b$

So by the basis for the induction:
 * $\displaystyle \prod_{j \mathop = 1}^{k+1} a_j \mathop \backslash b$

So $P \left({k}\right) \implies P \left({k+1}\right)$ and the result follows by the Principle of Mathematical Induction.

Therefore: $\displaystyle r \in \N_{> 1}: \prod_{j \mathop = 1}^r a_j \mathop \backslash b$