Ramsey theorem (source code)

= Ramsey theorem
{c}

Every sufficiently large graph contains either a prescribed clique or a prescribed independent set.