[0014]において、\(\mathord {\textnormal {\textsf {uncurry}}}(\mathord {\textnormal {\textsf {curry}}}(f))\equiv f\)と\(\mathord {\textnormal {\textsf {curry}}}(\mathord {\textnormal {\textsf {uncurry}}}(g))\equiv g\)を確かめよ。