Como "b" es de orden "p"-1, debe darse el caso que "p"-1 divide a "i"("p"-1)/2.