9 Sea $p$ un número primo. Demuestre que no existe ningún número divisible por $p$ en la fila $n$-ésima del triángulo de Pascal si y solo si $n$ puede representarse de la forma $n = p^sq - 1$, donde $s$ y $q$ son enteros con $s \geq 0, 0 < q < p$.