theorem Th35: :: BORSUK_6:35

for a, b, c, d being Real st a < b & c <= d holds
for x being Real st a <= x & x <= b holds
(L[01] (a,b,c,d)) . x = (((d - c) / (b - a)) * (x - a)) + c