scheme :: BINOP_2:sch 17
NLambda2D{ F1( Nat, Nat) -> Nat } :
ex f being Function of [:NAT,NAT:],NAT st
for x, y being Nat holds f . (x,y) = F1(x,y)