4.4.1 检验相等性