轮换对称式的性质