scheme :: BINOP_2:sch 6
IFuncDefUniq{ F1( Integer) -> object } :
for f1, f2 being Function of INT,INT st ( for x being Integer holds f1 . x = F1(x) ) & ( for x being Integer holds f2 . x = F1(x) ) holds
f1 = f2