Мы не можем напрямую использовать теорему Пифагора, поскольку в теореме говорится: если есть прямоугольный треугольник и нам известны две его стороны, тогда мы можем вычислить третью.
В 1930 году в статье «On a Problem in Formal Logic» Рамсей доказал более общую теорему (известную как теорема Рамсея), эта теорема является её частным случаем.