Sea $p$ un número primo impar y sea
\[S_q=\frac{1}{2\cdot 3\cdot 4}+\frac{1}{5\cdot 6\cdot 7}+\ldots+\frac{1}{q(q+1)(q+2)},\]
donde $q=\frac{3p-5}{2}$. Escribimos $\frac{1}{p}-2S_q$ en la forma $\frac{m}{n}$ siendo $m$ y $n$ enteros. Demostrar que $m\equiv n\ (\text{mod }p)$, es decir, $m$ y $n$ dan el mismo resto al ser divididos por $p$.