for f being Function of R^1,R^1 st ex a, b being Real st
for x being Real holds f . x = (a * x) + b holds
f is continuous