所有的顶点都必然是顶分型