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