Dados dos enteros con factorizaciones primas $n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}$ y $m=q_1^{\beta_1}q_2^{\beta_2}\cdots q_k^{\beta_k}$, tenemos que $n$ divide a $m$ si y solo si para toda $i$ existe una $j$ tal que $p_i=q_j$ y $\alpha_i\leq \beta_j$. Otra forma de decir esto es que el exponente de cada primo sea mayor en $m$ que en $n$.