5.7. Simplification of linear expressions with integral coefficients