设是独异点，e是单位元，且S中任意x，有x·x = e。证明：< S，·>是交换群。