完全グラフK4と同型な部分グラフをもたないグラフを考える。

その辺をどう塗る分けても同色の三角形が存在するようなものの、頂点数は

１０^10^10^10^10^10

以上である

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝