Sean $p,q$ números primos ( $q$ es impar). Demuestra que existe un entero $x$ tal que: $$q |(x+1)^p-x^p$$ Si y solo si $$q \equiv 1 \pmod p$$