Angelo Bulfone
(a xor s) xor (b xor s) xor (c xor s) xor s = a xor b xor c xor s xor s xor s xor s = a xor b xor c