7.2.3 可交换