image A detailed description of optics in curved spacetimes and a derivation of the lens equation from Einstein's field equations can be found in Chapter 3 and 4 of [166].