Sean $ m_1$ , $ m_2$ , $ \cdots$ , $ m_r$ (puede que no sean distintos) y $ n_1$ , $ n_2$ $ \cdots$ , $ n_s$ (puede que no sean distintos) dos grupos de enteros positivos tales que para cualquier entero positivo $ d$ mayor que $ 1$ , los números que pueden ser divididos por $ d$ en el grupo $ m_1$ , $ m_2$ , $ \cdots$ , $ m_r$ (incluyendo números repetidos) no son menores que los del grupo $ n_1$ , $ n_2$ $ \cdots$ , $ n_s$ (incluyendo números repetidos). Demuestra que $ \displaystyle \frac{m_1 \cdot m_2 \cdots m_r}{n_1 \cdot n_2 \cdots n_s}$ es entero.