5.15.3 差运算