theorem Th41: :: FCONT_1:41

for X being set
for r, p being Real
for f being PartFunc of REAL,REAL st ( for x0 being Real st x0 in X holds
f . x0 = (r * x0) + p ) holds
f | X is continuous