Para cualquier entero positivo "p", tenemos que se cumple: