一道程序题，初始状态下的六面魔方，转动四次最多使一面有多少种颜色。答案是6种，程序证明。-A program title, six-sided cube initial state, so that one side turning up to four times the number of colors. The answer is six kinds, the program proved.