. . "If N is a power of 2, k must be even, and this shows that N is" . . .