Suppose [math] is a function which satisfies the properties:

[math]

for all real numbers [math] and [math], and

[math].

[math]