1、因为a是5阶元素，所以a a a a a=1，是群G的单位元。这里，把群的二元运算规则默认为乘法。
2、第二个已知条件是：a^3 b == b a^3，铺开之后，变成了：a a a b==b a a a。
3、两边同时左乘两次a：a a a a a b==a a b a a a。注意，群元素的运算，一般是不可以交换位置的。
4、左边的部分，使用结合律，发现它等于b：b == (a a a a a ) b 屏顿幂垂== a a b a a a。
5、再一次左乘一个a：a b == a a a b a a a。
6、在右边采用结合律：a b == (a a a b ) a a a == (b a a a ) a a a。
7、再次采用结合律：a b == b a (a a a a a) == b a。
8、把整个证明过程整理一下，如下图。
