y=f(x)---x=g(y)=f~(y),交换x、y得到y=f~(x).因此反函数y=f~(x)中的y，就是原函数y=f(x)中的x。所以f(f~y))=y,换一种写法就是f(f~x))=x。
yes.
