p-1 > 0