scheme :: BINOP_2:sch 19
RLambdaD{ F₁( Real) -> Real } :

ex f being Function of REAL,REAL st
for x being Real holds f . x = F₁(x)