If is a power of two, you can divide it by repeatedly until you reach . At each step, there's no remainder.
For example, , , , . All divisions are exact (remainder ).
But if you try this with : , then with remainder . That remainder tells you is not a power of two.