theorem Th22: :: TREAL_1:22

for a, b being Real st a <= b holds
for f being continuous Function of (Closed-Interval-TSpace (a,b)),(Closed-Interval-TSpace (a,b)) ex x being Point of (Closed-Interval-TSpace (a,b)) st f . x = x