Kővári–Sós–Turán theorem