The cases of ``p`` prime power and ``p`` prime are treated separately.