x + f is Function of X,INT ;
hence x + f is Function of X,INT ; :: thesis: verum