如果 a 是 int 类型的变量，下列哪个表达式的值一定为 true ？（ ）
a + 1000 - 1000 == a
a * 2 / 2 == a
(a & 1) == 1
(a | 1) == a + 1