Yes, because XORing two consecutive integers only differing in the least significant bit yields one. xxxxxxx0 ^ xxxxxxx1 = 00000001 Doing this twice with f

Yes, because XORing two consecutive integers only differing in the least significant bit yields one. xxxxxxx0 ^ xxxxxxx1 = 00000001 Doing this twice with four consecutive numbers then also cancels the remaining one. That also means that you do not have to use consecutive numbers, you can use two arbitrary pairs 2m ^ 2m + 1 ^ 2n ^ 2n + 1 and for example 16 ^ 17 ^ 42 ^ 43 should be zero.