Szemerédi–Trotter_theorem loading ...