theorem :: FUZZY_7:18

for a, b being Real st a < 0 holds
|.(AffineMap (a,b)).| = ((AffineMap (a,b)) | ].-infty,((- b) / a).[) +* (- ((AffineMap (a,b)) | [.((- b) / a),+infty.[))