Изменения

'''Предпосылки к теореме'''. [https://en.wikipedia.org/wiki/Tur%C3%A1n%27s_theorem#Mantel's_theorem Теорема Мантела](частный случай [https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%A2%D1%83%D1%80%D0%B0%D0%BD%D0%B0 теоремы Турана]) утверждает, что для любой любого граф на <tex> n </tex> вершинах, у которого количество ребер не меньше <tex> n^2 / 4 </tex>, либо содержит треуголник треугольник либо является <tex>K_{n / 2, n / 2}</tex>.