convex-lense image formation