4.2 减法始终存在