Applications of the Gauss–Bonnet theorem to gravitational lensing | Synapse