XOR optimization proof

1 post