theorem LemmaIncreas: :: FUZIMPL3:5

for f being bijective increasing UnOp of [.0,1.] holds f " is increasing