para algún "n", 0 < "n" < "p" − 1.