Well, I'm trying to say that n has the form of a number with a remainder of -1 for some power of 2.
The number 12k - 1 can be written as 8k + 4k -1, and the number has to have a remainder of -1 mod 8, therefore 4k is a multiple of 8, and k is even. My argument is that these operations always...