Ontify
Combinatorics theorem that any edge labeling of a sufficiently large complete graph contains monochromatic cliques.