theorem ReichenbachIn01: :: FUZIMPL1:3

for a, b being Element of [.0,1.] holds (1 - a) + (a * b) in [.0,1.]