"and in fact all x = 2^n where n is a positive integer." . . . .