scheme :: BINOP_2:sch 21
ILambdaD{ F1( Integer) -> Integer } :
ex f being Function of INT,INT st
for x being Integer holds f . x = F1(x)