theorem LukaIn01: :: FUZIMPL1:2

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