Product of pairwise coprime integers divides $b$ if each integer divides $b$ Let $a_1....a_n$ be pairwise coprime.  That is $gcd(a_i, a_k) = 1$ for distinct $i,k$, I would like to show that if each $a_i$ divides $b$ then so does the product.
I can understand intuitively why it's true - just not sure how to formulate the proof exactly.
I want to say if we consider the prime factorizations of each $a_i$, then no two prime factorizations share any prime numbers.   So the product of $a_1...a_n$ must appear in the prime factorization of $b$.  Is this correct?  Or at least if if the idea is correct, any way to formulate it more clearly?

Use unique prime factorization for each $a_i$ to write it as $$a_i = \prod_{i=1}^k p_i^{\alpha_i}.$$ $k$ is chosen such that it will number all prime factors across the $a_i$, with $\alpha_i = 0$ when $p_i$ is not a factor of $a_i$. In other words, $k$ will be the same number for each $a_i$. By the assumption, $b$ will then be of form $$b = \prod_{i=1}^k p_i^{\beta_i} \cdot d = \prod_{i=1}^n a_i \cdot d,$$
for some integer $d$, and where $\beta_i$ is the unique (as the $\alpha_i$ are coprime, and each divide $b$) $\alpha_i \neq 0$ for all $i$. This was to be shown. 
