xor congruence modulo 2