设G是6阶无向简单图(6阶指顶点共6个),证明G或它的补图中存在3个顶点彼此相邻