8.4.2 等价性反例