`a + bit i = a xor bit i` when bit i of a is zero.

Original writeup (https://sasdf.cf/ctf-tasks-writeup/writeup/2018/Hack.lu/crypto/relation/).