5.4.1 不变性证明