Redirecting to Gravitational lensing formalism