scheme :: BINOP_2:sch 19
RLambdaD{ F1( Real) -> Real } :
ex f being Function of REAL,REAL st
for x being Real holds f . x = F1(x)