Demuestra que el producto de los primeros $n$ números naturales es divisible por la suma de los primeros $n$ números naturales si y sólo si $n+1$ no es un número primo impar.