Odd number theorem

The odd number theorem is a theorem in strong gravitational lensing which comes directly from differential topology.

The theorem states that the number of multiple images produced by a bounded transparent lens must be odd.