demonstrations:focal_length_of_a_convex_lens