3.4.10 不变性