设是一个群，|A|=2n,n∈Z⁺。证明：在A中至少存在一个元素a,满足a≠e且使得α*α=e.其中e是单位元。