你说的是拉姆齐（Ramsey）定理吧，又称拉姆齐二染色定理，是要解决以下的问题：要找这样一个最小的数R(k,l)=n，使得n个人中必定有k个人相识或l个人互不相识。

这个定理以弗兰克·普伦普顿·拉姆齐命名，1930年他在论文OnaProbleminFormalLogic（《形式逻辑上的一个问题》）证明了R(3,3)=6。