rt，有结论

当 $n>5$ 时，$n$ 个 $64$ 位无符号整数 $a_1,a_2 \cdots a_n$，可以选择每个数是否取反（位运算）, 然后在这些数之间加上位运算的 $\text{and}$（即 C++ 中的 &）, 最后必有一种结果为 $0$。

求证明。