>>721
f(g(x))=g(f(x))
任意の定数aについて g(x)=a と取ると
f(a)=a なので f(x)=x が必要。

逆に f(x)=x なら f(g(x))=g(x)=g(f(x)) が
任意のgについて成り立つ。