https://zhuanlan.zhihu.com/p/57444167

http://www.rubik.com.cn/group.htm

这里是有证明的。其实还是需要搞清楚一个问题，哪些状态之间是可以置换的。