Szemerédi–Trotter theorem

Szemerédi–Trotter theorem