for F being Function of [:R^1,I[01]:],R^1 st ( for x being Point of R^1
for i being Point of I[01] holds F . (x,i) = (1 - i) * x ) holds
F is continuous