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