Refraction at a Curved Surface

One curved boundary already forms images: n₁/do + n₂/di = (n₂ − n₁)/R, the step from Snell's law to lenses.