"does not work unless p is a power of 2." . . . .