Talk:Szemerédi–Trotter theorem