Kövari-Sós-Turán theorem