Surely it's true for every unsigned 64-bit integer.