subtraction of linear expressions