"In many practical systems, there would be a constraint that K is an even integer or even that K is a multiple of 8." . . . .