theorem :: FCONT_3:22

for f being one-to-one PartFunc of REAL,REAL st ( f | ([#] REAL) is increasing or f | ([#] REAL) is decreasing ) & f is total holds
(f ") | (rng f) is continuous