如果a是int类型的变量，下列哪个表达式的值一定为true？（ ）

{{ select(1) }}

• a + 1000 - 1000 == a
• a * 2 / 2 == a
• (a & 1) == 1
• (a | 1) == a + 1