F(x), G(x)はともに任意の実数xで微分可能な定数関数ではない関数とする。このとき、任意の実数xで
F(x)=G(F(x)),
G(x)=F(G(x))
を満たすならば
F(x)=G(x)=xを示せ