Redirecting to Szemerédi–Trotter theorem