Odd number theorem

The odd number theorem is a theorem in differential topology about strong gravitational lensing, which states that the number of multiple images produced by a bounded transparent lens must be odd.