二つの交代行列から得られる交換子がふたたび交代行列となることを確かめるのは難しくない。