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