求教离散数学:证明任意一个具有6个顶点的简单图或其补图一定包含一个三角形.