theorem Th21: :: TREAL_1:21

for f being continuous Function of I[01],I[01] ex x being Point of I[01] st f . x = x