求大佬带，离散数学的一个证明题

[zhenyoung]

<G, ∗> 是群，证明：若 ∀a,b∈G ，均有 a^3∗b^3=(a∗b)^3, a^4∗b^4=(a∗b)^4, a^5∗b^5=(a∗b)^5 ，则 <G, ∗> 是阿贝尔群（交换群）

[wyd011011daniel]

帮你试试 newbing 和 chatgpt ，您参考。
https://zoer.us/file/69d38c077781146efc70b.png
https://zoer.us/file/5c2af396148a792b9467f.png
https://zoer.us/file/99bbe416e1f42cbfe4b4a.png

[hsfzxjy]

https://imgur.io/a/LLXNV0w

[zhenyoung]

@hsfzxjy 这也太丝滑了，感谢！！！书上标答的过程复杂到怀疑人生