10.12.2 不变性