scheme :: BINOP_2:sch 20
WLambdaD{ F1( Rational) -> Rational } :
ex f being Function of RAT,RAT st
for x being Rational holds f . x = F1(x)