抽象代数证明:一个有限非交换群所包含的元素个数至少是6个