incidence theorem