已知函数y=f(x)有反函数,则方程f(x)=k(k为实常数)至多只有一个实数根?