Con esto, la premisa inicial de que "p" no divide "q" − 1 es insostenible.