theorem :: INTEGRA9:46

for a being Real
for A being non empty closed_interval Subset of REAL st not - a in A holds
((AffineMap (1,a)) ^) | A is continuous