设定义域是实数集的函数y=f(x)的反函数是y=g(x).求证:若函数y=f(x)满足f(mn)=f(m)+f(n),那