5.16.3 差运算