We written if $$f(x_1 + x_2) = f(x_1)f(x_2)$$ means that $f(x) = a^x$ and this is a characteristic property of the exponential functions.
This to me seems really weird, I am sure that there exist more functions for which this is true. Did the professor make a mistake here?