Coincidence theorem