一个正四面体的任意两个顶点染成另外一种颜色后属于什么点群