rt，有结论

当 $n>9$ 时，$n$ 个 $64$ 位无符号整数 $a_1,a_2 \cdots a_n$，可以选择每个数是否取反（位运算）, 然后在这些数之间加 上 $\text{and,or,xor}$ 三种符号, 最后运算得到的结果最小值必为 $0$。

求证明。