A property of the xor function