Supongamos que "p" que no divide a "q" − 1 para llegar a contradicción.