Szemerédi-Trotter theorem