theorem Th21: :: FUZZY_6:27

for a, b being Real holds AffineMap (a,b) is Lipschitzian