出来たので上げます。 定理証明はあきらめて、計算で示すことにした。 完全6点グラフK6の15本の辺から、任意の3本を選ぶ。（comb） これにmap allとanyをかます。 メイン関数ramseyは、引数をそのまま渡すもの（赤い三角形）と、 引数をnotして渡すもの（青…