12.8.2 减法