Sea $N=2^a p_1^{b_1} p_2^{b_2} \ldots p_k^{b_k}$ . Demuestra que hay $(b_1+1)(b_2+1)\ldots(b_k+1)$ número de $n$ s que satisfacen estas dos condiciones. $\frac{n(n+1)}{2}\le N$ , $N-\frac{n(n+1)}{2}$ es dividido por $n$ .