[0018]において、\(\mathord {\textnormal {\textsf {sym}}}(B,A)\circ \mathord {\textnormal {\textsf {sym}}}(A,B)\equiv \mathord {\textnormal {\textsf {id}}}\)であることを確かめよ。